| 2009 |
|---|
| 11 | EE | José Espírito Santo,
Ralph Matthes,
Luis Pinto:
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
CoRR abs/0903.1822: (2009) |
| 2007 |
|---|
| 10 | EE | José Espírito Santo,
Ralph Matthes,
Luis Pinto:
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.
TLCA 2007: 133-147 |
| 2006 |
|---|
| 9 | EE | José Espírito Santo,
Maria João Frade,
Luis Pinto:
Structural Proof Theory as Rewriting.
RTA 2006: 197-211 |
| 2004 |
|---|
| 8 | EE | Gilles Barthe,
Maria João Frade,
E. Giménez,
Luis Pinto,
Tarmo Uustalu:
Type-based termination of recursive definitions.
Mathematical Structures in Computer Science 14(1): 97-141 (2004) |
| 2003 |
|---|
| 7 | EE | José Espírito Santo,
Luis Pinto:
Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.
TLCA 2003: 286-300 |
| 6 | EE | José Espírito Santo,
Luis Pinto:
Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus.
TYPES 2003: 194-209 |
| 2002 |
|---|
| 5 | | Gilles Barthe,
Peter Dybjer,
Luis Pinto,
João Saraiva:
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Springer 2002 |
| 1999 |
|---|
| 4 | EE | Roy Dyckhoff,
Luis Pinto:
Permutability of Proofs in Intuitionistic Sequent Calculi.
Theor. Comput. Sci. 212(1-2): 141-155 (1999) |
| 1998 |
|---|
| 3 | EE | Luis Pinto,
Roy Dyckhoff:
Sequent Calculi for the Normal Terms of the - and - Calculi.
Electr. Notes Theor. Comput. Sci. 17: (1998) |
| 2 | | Roy Dyckhoff,
Luis Pinto:
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic.
Studia Logica 60(1): 107-118 (1998) |
| 1993 |
|---|
| 1 | | Luis Pinto:
Cut Formulae and Logic Programming.
ELP 1993: 282-300 |
