Computing Publications

Publications Home » Linear Types, Approximation, and ...

Linear Types, Approximation, and Topology

Michael Huth, Achim Jung, Klaus Keimel

Conference or Workshop Paper
Ninth Annual IEEE Symposium on Logic in Computer Science
IEEE Annual Symposium on Logic in Computer Science
pp.110–114
July, 1994
IEEE Computer Society Press
ISBN 0-8186-6310-3
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.