| No. |
Title |
Author |
Year |
| 1 |
Combinatory Logic and Lambda Calculus Are Equal, Algebraically |
Altenkirch, Thorsten et al. |
2023 |
| 2 |
The Münchhausen Method in Type Theory |
Altenkirch, Thorsten et al. |
2023 |
| 3 |
Front Matter, Table of Contents, Preface, Conference Organization |
de'Liguoro, Ugo et al. |
2021 |
| 4 |
LIPIcs, Volume 188, TYPES 2020, Complete Volume |
de'Liguoro, Ugo et al. |
2021 |
| 5 |
Big Step Normalisation for Type Theory |
Altenkirch, Thorsten et al. |
2020 |
| 6 |
Towards a Cubical Type Theory without an Interval |
Altenkirch, Thorsten et al. |
2018 |
| 7 |
Extending Homotopy Type Theory with Strict Equality |
Altenkirch, Thorsten et al. |
2016 |
| 8 |
Normalisation by Evaluation for Dependent Types |
Altenkirch, Thorsten et al. |
2016 |
| 9 |
Front Matter, Table of Contents, Preface, Conference Organization |
Altenkirch, Thorsten |
2015 |
| 10 |
LIPIcs, Volume 38, TLCA'15, Complete Volume |
Altenkirch, Thorsten |
2015 |
| 11 |
A Syntactical Approach to Weak omega-Groupoids |
Altenkirch, Thorsten et al. |
2012 |
| 12 |
04381 Abstracts Collection -- Dependently Typed Programming |
Altenkirch, Thorsten et al. |
2005 |
