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