LearnAwesome Logo
Sign In
Home Topics Formats Experts
Sign In
Topics Random
Formats Random
Experts Random
Users Random
Random Item
Our Courses Web Extension Contribute Join Slack
About
Research paper in type-theory

Cubical Type Theory: a constructive interpretation of the univalence axiom (2016)

(arxiv.org)

★ -
0 ratings
Added by learnawesome almost 2 years ago
View
Share on Twitter Share on Facebook