Integration in real PCF

Title:	Integration in real PCF
Authors:	Edalat, A Escardo, MH
Item Type:	Journal Article
Issue Date:	1-Jul-2000
Citation:	INFORM COMPUT Vol.( 160 ) No.( 1-2 ) pp 128 - 166
URI:	http://hdl.handle.net/10044/1/759
Publisher Link:	http://dx.doi.org/10.1006/inco.1999.2844
DOI:	10.1006/inco.1999.2844
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 .
Volume:	160
Appears in Collections:	Theory of Computational Systems