Wikipedia:Articles for deletion/Binary lambda calculus
- Binary lambda calculus (edit | talk | history | protect | delete | links | watch | logs | views) – (View log · Stats)
- (Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL)
Lacks notability. One independent paper has been written about it, but has not been published in a reliable source so that doesn't count. An award has been given for an implementation of it, but the judges' remarks were one line long and therefore I believe this must be considered an incidental reference to the subject matter, so that also doesn't count. greenrd (talk) 23:02, 29 December 2016 (UTC)