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.
 
Probabilistic lambda-calculus and quantitative program analysis
File(s)
Author(s)
Di Pierro, A
Hankin, C
Wiklicky, H
Type
Journal Article
Date Issued
2005-04-01
Citation
J LOGIC COMPUT 15 ( 2 ) 159 - 179
URI
URL
DOI
ISSN
0955-792X
Copyright Statement
This is a pre-copy-editing, author-produced PDF of an article accepted for publication in The Journal of Logic and Computation following peer review. The definitive publisher-authenticated version Journal of Logic and Computation 2005 15(2):159-179
is available online at: http://dx.doi.org/10.1093/logcom/exi008
License URL