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.
 
Integration in real PCF
File(s)
Author(s)
Edalat, A
Escardo, MH
Type
Journal Article
Date Issued
2000-07-01
Citation
INFORM COMPUT Vol.( 160 ) No.( 1-2 ) pp 128 - 166
URI
URL
DOI
ISSN
0890-5401
Start Page
128
End Page
166
Copyright Statement
© 2000 by Academic Press. This is the author’s version of a work that was accepted for publication in Information and Computation. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Information and Computation, volume 160, issue 1-2 (July 2000). doi: 10.1006/inco.1999.2844 .
License URL
Source Volume Number
160