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

City

Löwenheim / Washington / D.C. / Hartford / Hudson / Combinators Function / London / Cheshire / Jacksonville / /

Company

Combinators (again) Ackermann / Russell / Hertz / /

Country

Germany / United States / United Kingdom / /

/

Facility

Princeton University / TURING CENTENNIAL CELEBRATION Princeton University / State College / /

Organization

Göttingen Universität / Alonzo Church / UC BERKELEY / University of California / Berkeley / Princeton University / Carnegie Mellon University / State College / /

Person

Alan Turing / Kurt Gödel / Stephen Cole Kleene / Brooks Curry / Emeritus Carnegie / /

Position

author / Professor Emeritus / General / /

ProgrammingLanguage

FL / /

ProvinceOrState

Ohio / /

SocialTag