Skip to content

Interaction Graphs: Full Linear Logic.

Thomas Seiller

VenueA*LICS
Year2016
ProceedingsLICS

Browse the full LICS paper archive.