Back to Results
First PageMeta Content
Mathematics / Logic in computer science / Theory of computation / Type theory / Computability theory / Simply typed lambda calculus / Combinatory logic / Typed lambda calculus / Normalization property / Theoretical computer science / Lambda calculus / Mathematical logic


Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics
Add to Reading List

Document Date: 2013-09-21 21:21:50

Open Document

File Size: 592,31 KB

Share Result on Facebook

City

Halifax / /

Facility

University of Ottawa / Dalhousie University / Statistics Dalhousie University / /

IndustryTerm

unification algorithm / computer algebra systems / type inference algorithm / /

Organization

Lambda Calculus Peter Selinger Department of Mathematics / Dalhousie University / University of Ottawa / /

ProgrammingLanguage

Haskell / Lambda calculus / Lisp / /

Technology

76 9.5 The type inference algorithm / functional programming / resulting algorithms / 9.4 The unification algorithm / /

SocialTag