Travelled to:1 × Czech Republic
1 × Poland
1 × Spain
1 × Switzerland
1 × USA
2 × France
Collaborated with:∅ L.Pinto S.Ghilezan R.Matthes M.J.Frade
Talks about:sequent (4) calculus (3) intuitionist (2) normalis (2) calculi (2) strong (2) lambda (2) cut (2) correspond (1) substitut (1)
Person: José Espírito Santo
DBLP: Santo:Jos=eacute=_Esp=iacute=rito
Contributed to:
2015
2010
2007200720062003
20002020
2017Wrote 10 papers:
- TLCA-2015-Santo #calculus #exclamation
- Curry-Howard for Sequent Calculus at Last! (JES), pp. 165–179.
- CSL-2010-Santo #canonical #deduction #towards
- Towards a Canonical Classical Natural Deduction System (JES), pp. 290–304.
- RTA-2007-Santo
- Delayed Substitutions (JES), pp. 169–183.
- TLCA-2007-Santo
- Completing Herbelin’s Programme (JES), pp. 118–132.
- 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.
- ICALP-2000-Santo #normalisation
- Revisiting the Correspondence between Cut Elimination and Normalisation (JES), pp. 600–611.
- CSL-2020-Santo #call-by #λ-calculus
- The Call-By-Value Lambda-Calculus with Generalized Applications (JES), p. 12.
- PPDP-2017-SantoG #λ-calculus
- Characterization of strong normalizability for a sequent lambda calculus with co-control (JES, SG), pp. 163–174.