Back to Results
First PageMeta Content
Logic / Intuitionistic type theory / Function / Homotopy type theory / Dependent type / Interpretation / Field / Subtype polymorphism / Lambda calculus / Mathematical logic / Mathematics / Type theory


Document Date: 2012-08-28 12:41:06

Open Document

File Size: 671,16 KB

Share Result on Facebook
UPDATE