Computability and lambda-definability

From BibNetWiki

Jump to: navigation, search

Alan M. Turing

Alan M. Turing - Computability and $\lambda$-definability

Journal of Symbolic Logic 2:153--163, 1937

Author : Alan M. Turing
Title : Computability and $\lambda$-definability
Publication Type : Journal of Symbolic Logic -
Address :
Date : 1937

List of Papers citing this one.

List of Papers cited by this one.

Retrieved from "http://bibnetwiki.org/wiki/Computability_and_lambda-definability"

Categories: Alan M. Turing Paper | Paper | Paper Year 1937 | Journal Journal of Symbolic Logic

Views

Personal tools

Log in / create account

Search

Toolbox