Computing Publications

Publications Home » Linear Types and Approximation

Linear Types and Approximation

Michael Huth, Achim Jung, Klaus Keimel

Journal Article
Mathematical Structures in Computer Science
Volume 10
Issue 6
pp.719–746
2000
Cambridge University Press
ISSN 0960-1295
Notes

Print ISSN: 0960-1295, Online ISSN: 1469-8072.

BibTEX file for the publication
 

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