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

Company

P. / /

Facility

University of Ljubljana / Utrecht University / /

IndustryTerm

dependent product / dependent products / /

Organization

University of Ljubljana / Utrecht University / /

Person

Michael Warren / Mike Shulman / Dan Licata / Steve Awodey / Jaap van Oosten / Vladimir Voevodsky / Benno van den Berg / VAN O OSTEN / Bas Spitters / Andrej Bauer / Spela Spenko / /

Position

author / /

URL

http /

SocialTag