| 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 |
Front Matter, Table of Contents, Preface, Conference Organization |
Dybjer, Peter et al. |
2019 |
| 3 |
LIPIcs, Volume 130, TYPES'18, Complete Volume |
Dybjer, Peter et al. |
2019 |
| 4 |
Modal Embeddings and Calling Paradigms |
Espírito Santo, José et al. |
2019 |
| 5 |
Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts |
Espírito Santo, José et al. |
2018 |
