Travelled to:1 × Brazil
1 × USA
1 × United Kingdom
Collaborated with:K.Terui C.Faggian
Talks about:complet (3) ludic (2) infinitari (1) exponenti (1) interact (1) repetit (1) logic (1) type (1) mean (1)
Person: Michele Basaldella
DBLP: Basaldella:Michele
Contributed to:
20102009
2009Wrote 3 papers:
- LICS-2010-BasaldellaT
- Infinitary Completeness in Ludics (MB, KT), pp. 294–303.
- LICS-2009-BasaldellaF #exponential #interactive
- Ludics with Repetitions (Exponentials, Interactive Types and Completeness) (MB, CF), pp. 375–384.
- TLCA-2009-BasaldellaT #logic #on the
- On the Meaning of Logical Completeness (MB, KT), pp. 50–64.