Back to Results
First PageMeta Content
Lambda calculus / Logic in computer science / Proof theory / Combinatory logic / Type theory / Curry–Howard correspondence / Free variables and bound variables / Function / Natural deduction / Mathematics / Theoretical computer science / Mathematical logic


Document Date: 2003-02-26 23:28:44

Open Document

File Size: 395,19 KB

Share Result on Facebook

Country

Canada / /

/

Facility

Computer Science University of Lethbridge Lethbridge / /

Organization

Mathematics and Computer Science University of Lethbridge Lethbridge / Alonzo Church / Natural Sciences and Engineering Research Council of Canada / languages∗ Jonathan P. Seldin Department of Mathematics / /

Person

Bertrand Russell / Martin Bunder / Dana Scott / Church / N. G. de Bruijn / H. B. Curry / Roger Hindley / Curry defined / Jonathan P. Seldin / /

Position

research assistant / /

URL

http /

SocialTag