Skip to content

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

Michele Basaldella, Claudia Faggian

VenueA*LICS
Year2009
ProceedingsLICS

Browse the full LICS paper archive.