| No. |
Title |
Author |
Year |
| 1 |
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic |
Espírito Santo, José et al. |
2021 |
| 2 |
The Call-By-Value Lambda-Calculus with Generalized Applications |
Espírito Santo, José |
2020 |
| 3 |
Front Matter, Table of Contents, Preface, Conference Organization |
Dybjer, Peter et al. |
2019 |
| 4 |
LIPIcs, Volume 130, TYPES'18, Complete Volume |
Dybjer, Peter et al. |
2019 |
| 5 |
Modal Embeddings and Calling Paradigms |
Espírito Santo, José et al. |
2019 |
| 6 |
Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts |
Espírito Santo, José et al. |
2018 |
| 7 |
Curry-Howard for Sequent Calculus at Last! |
Espírito Santo, José |
2015 |
