Skip to content

Infinitary Completeness in Ludics.

Michele Basaldella, Kazushige Terui

VenueA*LICS
Year2010
ProceedingsLICS

Browse the full LICS paper archive.