A Basis for a Mathematical Theory of Computation

URI: https://gptkb.org/entity/A_Basis_for_a_Mathematical_Theory_of_Computation
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:academic_journal
gptkbp:author gptkb:John_McCarthy
gptkbp:citation numerous works in computer science
gptkbp:influenced artificial intelligence research
development of formal semantics
lambda calculus research
gptkbp:language English
gptkbp:publicationYear 1961
gptkbp:publishedIn gptkb:Proceedings_of_the_Western_Joint_Computer_Conference
gptkbp:topic gptkb:theoretical_computer_science
formal systems
recursion theory
computability
gptkbp:bfsParent gptkb:Artificial_Intelligence_Memo_349,_MIT
gptkbp:bfsLayer 6
https://www.w3.org/2000/01/rdf-schema#label A Basis for a Mathematical Theory of Computation