Michele Basaldella (Universit\'e d'Aix-Marseille

Identifiers

• name variant Michele Basaldella (Universit\'e d'Aix-Marseille 0.60 · backfill

Papers (2)

1. Ludics without Designs I: Triads cs.LO · 2015 · author #1
2. Infinitary Classical Logic: Recursive Equations and Interactive Semantics cs.LO · 2014 · author #1

Mentions

• 1502.04773 #1 · backfill · confidence 0.70 Michele Basaldella (Universit\'e d'Aix-Marseille
• 1409.3315 #1 · backfill · confidence 0.70 Michele Basaldella (Universit\'e d'Aix-Marseille

Frequent Coauthors

• CNRS 2 shared papers
• France) 2 shared papers
• I2M 2 shared papers
• Marseille 2 shared papers