Back to Results
First PageMeta Content
Computability theory / Theory of computation / Lambda calculus / Formal methods / Models of computation / Combinatory logic / Church–Turing thesis / Turing machine / Entscheidungsproblem / Mathematics / Theoretical computer science / Mathematical logic


λ-Calculus: Then & Now Dana S. Scott University Professor Emeritus Carnegie Mellon University
Add to Reading List

Document Date: 2014-08-24 16:43:20

Open Document

File Size: 1,09 MB

Share Result on Facebook
UPDATE