Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Linear Types and Approximation
File(s)
Author(s)
Huth,M.
Jung,A.
Keimel,K.
Type
Journal Article
Version
Published version
Date Issued
2000
Citation
Mathematical Structures in Computer Science, 2000, 10 (6), pp.719-745
URI
URL
Start Page
719
End Page
745
Journal / Book Title
Mathematical Structures in Computer Science
Volume
10
Issue
6
Copyright Statement
© 2000 Cambridge University Press
License URL
Source Volume Number
10