Back to Results
First PageMeta Content
Applied mathematics / Type theory / Logic in computer science / Theory of computation / Proof theory / Combinatory logic / Curry–Howard correspondence / Fixed-point combinator / Type safety / Theoretical computer science / Lambda calculus / Computer science


Document Date: 2008-02-12 16:30:43

Open Document

File Size: 130,64 KB

Share Result on Facebook
UPDATE