Linear Types, Approximation, and Topology

Michael Huth, Achim Jung, Klaus Keimel

Browse the full LICS paper archive.