𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Inductive Types in Homotopy Type Theory

✍ Scribed by Awodey, Steve; Gambino, Nicola; Sojakova, Kristina

Book ID
120020800
Publisher
IEEE
Year
2012
Weight
244 KB
Category
Article
ISBN
0769547699

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[IEEE 2012 27th Annual IEEE Symposium on
[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Inductive Types in Homotopy Type Theory
✍ Awodey, Steve; Gambino, Nicola; Sojakova, Kristina πŸ“‚ Article πŸ“… 2012 πŸ› IEEE βš– 244 KB

Homotopy type theory is an interpretation of Martin-LΓΆf's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach t