| No. |
Title |
Author |
Year |
| 1 |
Type Theory with Explicit Universe Polymorphism |
Bezem, Marc et al. |
2023 |
| 2 |
Front Matter, Table of Contents, Preface, Conference Organization |
Bezem, Marc et al. |
2020 |
| 3 |
LIPIcs, Volume 175, TYPES 2019, Complete Volume |
Bezem, Marc et al. |
2020 |
| 4 |
A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic |
Adams, Robin et al. |
2018 |
| 5 |
Realizability at Work: Separating Two Constructive Notions of Finiteness |
Bezem, Marc et al. |
2018 |
| 6 |
Non-Constructivity in Kan Simplicial Sets |
Bezem, Marc et al. |
2015 |
| 7 |
A Model of Type Theory in Cubical Sets |
Bezem, Marc et al. |
2014 |
| 8 |
LIPIcs, Volume 12, CSL'11, Complete Volume |
Bezem, Marc |
2013 |
| 9 |
Frontmatter, Table of Contents, Preface, Conference Organization |
Bezem, Marc |
2011 |
