Skip to content

A theory of linear typings as flows on 3-valent graphs.

Noam Zeilberger

VenueA*LICS
Year2018
ProceedingsLICS

Browse the full LICS paper archive.