Skip to content

Linear Logical Algorithms.

Robert J. Simmons, Frank Pfenning

VenueA*ICALP
Year2008
ProceedingsICALP (2)

Browse the full ICALP paper archive.