2 results
The biequivalence of locally cartesian closed categories and Martin-Löf type theories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 6 / December 2014
- Published online by Cambridge University Press:
- 29 April 2014, e240606
-
- Article
- Export citation
Strong functors and interleaving fixpoints in game semantics∗
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 47 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 10 January 2013, pp. 25-68
- Print publication:
- January 2013
-
- Article
- Export citation