Proof — LISP and formal semantics

Statement

LISP; lambda calculus; AI. Proved in ZFC.

Source

ACM Turing Award 1971. LISP; lambda calculus; AI. Proved in ZFC.

Domains

computer-science

People

• John McCarthy

Related

• Theorem: LISP and formal semantics
• Proof: LISP and formal semantics

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People