Michele Basaldella

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 2

Top Topics

Binary Relations

Classical Logic

Top Venues

ACM Trans. Comput. Log.

Publications

Michele Basaldella
α β-Relations and the Actual Meaning of α-Renaming. ACM Trans. Comput. Log. 22 (1) (2021)
Michele Basaldella
Lambda Congruences and Extensionality. CoRR (2019)
Michele Basaldella
Infinitary Classical Logic: Recursive Equations and Interactive Semantics. CL&C (2014)
Michele Basaldella
Ludics without Designs I: Triads. LINEARITY (2014)
Michele Basaldella, Claudia Faggian
Ludics with repetitions (Exponentials, Interactive types and Completeness) Log. Methods Comput. Sci. 7 (2) (2011)
Michele Basaldella, Alexis Saurin, Kazushige Terui
From Focalization of Logic to the Logic of Focalization. MFPS (2010)
Michele Basaldella, Kazushige Terui
On the meaning of logical completeness Log. Methods Comput. Sci. 6 (4) (2010)
Michele Basaldella, Kazushige Terui
Infinitary Completeness in Ludics. LICS (2010)
Michele Basaldella, Kazushige Terui
On the Meaning of Logical Completeness. TLCA (2009)
Michele Basaldella, Claudia Faggian
Ludics with Repetitions (Exponentials, Interactive Types and Completeness). LICS (2009)