 | 2009 |
|---|
| 13 |       | Luis Pinto,
Tarmo Uustalu:
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.
TABLEAUX 2009: 295-309 |
| 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,
Ralph Matthes,
Luis Pinto:
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.
TLCA 2007: 133-147 |
| 2006 |
|---|
| 9 | | José Espírito Santo,
Maria João Frade,
Luis Pinto:
Structural Proof Theory as Rewriting.
RTA 2006: 197-211 |
| 2004 |
|---|
| 8 | | 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 | | José Espírito Santo,
Luis Pinto:
Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.
TLCA 2003: 286-300 |
| 6 | | 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 | | Roy Dyckhoff,
Luis Pinto:
Permutability of Proofs in Intuitionistic Sequent Calculi.
Theor. Comput. Sci. 212(1-2): 141-155 (1999) |
| 1998 |
|---|
| 3 | | 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 |
