| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Preface, Conference Organization |
de'Liguoro, Ugo et al. |
2021 |
| 2 |
LIPIcs, Volume 188, TYPES 2020, Complete Volume |
de'Liguoro, Ugo et al. |
2021 |
| 3 |
Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness |
Berardi, Stefano |
2015 |
| 4 |
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic |
Berardi, Stefano et al. |
2014 |
| 5 |
Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1 |
Aschieri, Federico et al. |
2013 |
| 6 |
Knowledge Spaces and the Completeness of Learning Strategies |
Berardi, Stefano et al. |
2012 |
| 7 |
Non-Commutative Infinitary Peano Arithmetic |
Tatsuta, Makoto et al. |
2011 |
