Travelled to:1 × France
1 × Spain
1 × USA
Collaborated with:J.E.Santo R.Matthes M.J.Frade
Talks about:intuitionist (2) sequent (2) calculi (2) structur (1) normalis (1) multiari (1) convers (1) continu (1) theori (1) strong (1)
Person: Luis Pinto
DBLP: Pinto:Luis
Contributed to:
2007
20062003Wrote 3 papers:
- TLCA-2007-SantoMP #calculus #continuation #normalisation
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (JES, RM, LP), pp. 133–147.
- RTA-2006-SantoFP #proving
- Structural Proof Theory as Rewriting (JES, MJF, LP), pp. 197–211.
- TLCA-2003-SantoP #calculus #multi
- Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts (JES, LP), pp. 286–300.