𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Duality in Logic and Computation

✍ Scribed by Panangaden, Prakash

Book ID
120928562
Publisher
IEEE
Year
2013
Weight
185 KB
Category
Article
ISBN
1479904139

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