BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Santo:Jos=eacute=_Esp=iacute=rito

Contributed to:

TLCA 20152015
CSL 20102010
RTA 20072007
TLCA 20072007
RTA 20062006
TLCA 20032003
ICALP 20002000
CSL 20202020
PPDP 20172017

Wrote 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.
Delayed Substitutions (JES), pp. 169–183.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.