Back to Results
First PageMeta Content
Logic / Lambda calculus / Logic in computer science / Dependently typed programming / Proof theory / Calculus of constructions / System F / Curry–Howard correspondence / First-order logic / Mathematical logic / Mathematics / Type theory


The Girard-Reynolds Isomorphism (second edition)
Add to Reading List

Document Date: 2007-03-02 12:28:49

Open Document

File Size: 314,64 KB

Share Result on Facebook
UPDATE