[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 - Von Neumann's Biased Coin Revisited

[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 - Logics of Dynamical Systems

✍ Platzer, Andre 📂 Article 📅 2012 🏛 IEEE ⚖ 541 KB

[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

[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

[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 - On the Complexity of Linear Authorization Logics

✍ Nigam, Vivek 📂 Article 📅 2012 🏛 IEEE ⚖ 249 KB

[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 - An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus

✍ Mazza, Damiano 📂 Article 📅 2012 🏛 IEEE ⚖ 293 KB

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM

[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

✍ Panangaden, Prakash 📂 Article 📅 2013 🏛 IEEE ⚖ 185 KB