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 × France
1 × Italy
1 × Poland
1 × Portugal
1 × USA
Collaborated with:
J.Fortier J.R.B.Cockett A.Arnold M.J.Gouveia
Talks about:
calculus (3) circular (2) semant (2) proof (2) cut (2) hierarchi (1) properti (1) communic (1) categori (1) problem (1)

Person: Luigi Santocanale

DBLP DBLP: Santocanale:Luigi

Contributed to:

CSL 20132013
CSL 20092009
LICS 20052005
FoSSaCS 20032003
FoSSaCS 20022002
CSL 20172017

Wrote 6 papers:

CSL-2013-FortierS #proving #semantics
Cuts for circular proofs: semantics and cut-elimination (JF, LS), pp. 248–262.
CSL-2009-CockettS #communication #on the #problem #word
On the Word Problem for ΣΠ-Categories, and the Properties of Two-Way Communication (JRBC, LS), pp. 194–208.
LICS-2005-Santocanale #algebra
Completions of μ-algebras (LS), pp. 219–228.
FoSSaCS-2003-ArnoldS #ambiguity #calculus #game studies #μ-calculus
Ambiguous Classes in the Games μ-Calculus Hierarchy (AA, LS), pp. 70–86.
FoSSaCS-2002-Santocanale #calculus #category theory #proving #semantics
A Calculus of Circular Proofs and Its Categorical Semantics (LS), pp. 357–371.
CSL-2017-GouveiaS #calculus
Aleph1 and the Modal mu-Calculus (MJG, LS), p. 16.

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.