Michele Basaldella

According to our database, Michele Basaldella authored at least 9 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

α β-Relations and the Actual Meaning of α-Renaming.

Michele Basaldella

ACM Trans. Comput. Log., 2021

2019

Lambda Congruences and Extensionality.

Michele Basaldella

CoRR, 2019

2014

Ludics without Designs I: Triads.

Michele Basaldella

Proceedings of the Proceedings Third International Workshop on Linearity, 2014

Infinitary Classical Logic: Recursive Equations and Interactive Semantics.

Michele Basaldella

Proceedings of the Proceedings Fifth International Workshop on Classical Logic and Computation, 2014

2011

On the Meaning of Focalization.

Michele Basaldella, Alexis Saurin, Kazushige Terui

Proceedings of the Ludics, Dialogue and Interaction - PRELUDE Project, 2011

2010

From Focalization of Logic to the Logic of Focalization.

Michele Basaldella, Alexis Saurin, Kazushige Terui

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Infinitary Completeness in Ludics.

Michele Basaldella, Kazushige Terui

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

On the Meaning of Logical Completeness.

Michele Basaldella, Kazushige Terui

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

Ludics with Repetitions (Exponentials, Interactive Types and Completeness).

Michele Basaldella, Claudia Faggian

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009