Infinitary Completeness in Ludics. - Michele Basaldella; Kazushige Terui (LICS, 2010)

On the meaning of logical completeness - Michele Basaldella; Kazushige Terui (Log. Methods Comput. Sci., 2010)

From Focalization of Logic to the Logic of Focalization. - Michele Basaldella; Alexis Saurin; Kazushige Terui (MFPS, 2010)

Ludics with repetitions (Exponentials, Interactive types and Completeness) - Michele Basaldella; Claudia Faggian (Log. Methods Comput. Sci., 2011)

On the Meaning of Focalization. - Michele Basaldella; Alexis Saurin; Kazushige Terui (PRELUDE Project, 2011)

Infinitary Classical Logic: Recursive Equations and Interactive Semantics. - Michele Basaldella (CL&C, 2014)

Ludics without Designs I: Triads. - Michele Basaldella (LINEARITY, 2014)

Lambda Congruences and Extensionality. - Michele Basaldella (CoRR, 2019)

α β-Relations and the Actual Meaning of α-Renaming. - Michele Basaldella (ACM Trans. Comput. Log., 2021)