Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Lambda calculus / Proof theory / Dependently typed programming / Curry–Howard correspondence / Intuitionistic type theory / Combinatory logic / Natural deduction / Mathematics / Mathematical logic / Type theory


Document Date: 2012-11-02 09:24:49

Open Document

File Size: 1,22 MB

Share Result on Facebook
UPDATE