𝔖 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 - Backward induction in games of perfect information

✍ Scribed by Aumann, Robert J.

Book ID
126695186
Publisher
IEEE
Year
2012
Weight
91 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