Back to Results
First PageMeta Content
Lambda calculus / Computability theory / Logic in computer science / Model theory / Proof theory / Combinatory logic / Haskell Curry / Stephen Cole Kleene / Type theory / Mathematics / Mathematical logic / Logic


Document Date: 2008-05-01 19:55:27

Open Document

File Size: 374,56 KB

Share Result on Facebook

City

Amsterdam / Millis / G¨ottingen / /

Company

General Electric Company / Russell / /

Country

Canada / United States / /

/

Event

Person Travel / Person Communication and Meetings / /

Facility

Pennsylvania State University / Curry College / Harvard University / Princeton University / Computer Science University of Lethbridge Lethbridge / University of Amsterdam / Massachusetts Institute of Technology / /

IndustryTerm

library search / postulate systems / proof development systems / /

Organization

Princeton University / Massachusetts Institute of Technology / Alonzo Church Alonzo3 Church / School for Expression / University of Amsterdam / But Church / Curry College / Natural Sciences and Engineering Research Council of Canada / R. In Church / Harvard University / Student Army Training Corps / Harvard / Department of Mathematics / N. Church / the Pennsylvania State University / Alonzo Church / G¨ottingen Mathematical Society / Mathematics and Computer Science University of Lethbridge Lethbridge / Church∗ Jonathan P. Seldin Department of Mathematics / /

Person

Brooks Curry / John Barkley Rosser / Roger Hindley / George D. Birkhoff / Jonathan P. Seldin / Leon Henkin / Oswald Veblen / Paul Bernays / Heinrich Behmann / Alan Turing / Paul Alexandroff / Martin Bunder / Moses Sch¨onfinkel / Jean-Yves Girard / Peter B. Andrews / Steven Cole Kleene / Church / William Aspray / /

Position

Constable / assistant / co-author / research assistant / Robert Constable / /

ProgrammingLanguage

C / K / Haskell / /

ProvinceOrState

A.B. / Massachusetts / /

URL

http /

SocialTag