Skip to content

A PolyTime Functional Language from Light Linear Logic.

Patrick Baillot, Marco Gaboardi, Virgile Mogbil

VenueAESOP
Year2010
ProceedingsESOP

Browse the full ESOP paper archive.