 | 2009 |
|---|
| 12 |       | José Espírito Santo,
Ralph Matthes,
Luis Pinto:
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
Logical Methods in Computer Science 5(2): (2009) |
| 2008 |
|---|
| 11 | | José Espírito Santo,
Ralph Matthes,
Luis Pinto:
Monadic Translation of Intuitionistic Sequent Calculus.
TYPES 2008: 100-116 |
| 2007 |
|---|
| 10 | | José Espírito Santo:
Refocusing Generalised Normalisation.
CiE 2007: 258-267 |
| 9 | | José Espírito Santo:
Delayed Substitutions.
RTA 2007: 169-183 |
| 8 | | José Espírito Santo:
Completing Herbelin's Programme.
TLCA 2007: 118-132 |
| 7 | | José Espírito Santo,
Ralph Matthes,
Luis Pinto:
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.
TLCA 2007: 133-147 |
| 6 | | José Espírito Santo,
Silvia Ghilezan,
J. Ivetic:
Characterising Strongly Normalising Intuitionistic Sequent Terms.
TYPES 2007: 85-99 |
| 2006 |
|---|
| 5 | | José Espírito Santo,
Maria João Frade,
Luis Pinto:
Structural Proof Theory as Rewriting.
RTA 2006: 197-211 |
| 2003 |
|---|
| 4 | | José Espírito Santo,
Luis Pinto:
Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.
TLCA 2003: 286-300 |
| 3 | | José Espírito Santo,
Luis Pinto:
Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus.
TYPES 2003: 194-209 |
| 2002 |
|---|
| 2 | | José Espírito Santo:
An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction.
LPAR 2002: 352-366 |
| 2000 |
|---|
| 1 | | José Espírito Santo:
Revisiting the Correspondence between Cut Elimination and Normalisation.
ICALP 2000: 600-611 |
