Michele Basaldella

ミケーレ　バサルデッラ

Post-doc researcher at RIMS, Kyoto University　京都大学, Japan.

Email : mbasalde At kurims.kyoto-u.ac.jp [@/At]

Link to RIMS Computer Science Group.

Page under construction.

Recent works (2009):

• with Claudia Faggian, Ludics with Repetitions (Exponentials, Interactive types and Completeness).

  Extended Abstract, (16 pages) pdf;

  Full paper (draft), (63 pages) pdf.

• with Kazushige Terui, On the meaning of Logical Completeness.

  Extended Abstract, Revised Version, (16 pages) pdf;

  Extended version (draft), (25 pages) pdf.