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
https://www.w3.org/2000/01/rdf-schema#label A Basis for a Mathematical Theory of Computation
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 formal systems
recursion theory
theoretical computer science
computability
gptkbp:bfsParent gptkb:Artificial_Intelligence_Memo_349,_MIT
gptkbp:bfsLayer 6