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: Santocanale:Luigi
Contributed to:
20132009
2005
200320022017Wrote 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.