Back to Results
First PageMeta Content
Lambda calculus / Logic in computer science / Predicate logic / Combinatory logic / Type theory / Fixed-point combinator / Free variables and bound variables / Curry–Howard correspondence / System F / Theoretical computer science / Mathematics / Mathematical logic


Jean-Louis Krivine LAMBDA-CALCULUS
Add to Reading List

Document Date: 2013-07-01 11:36:37

Open Document

File Size: 1,11 MB

Share Result on Facebook
UPDATE