Abbas Edalat, Martín Hötzel Escardó. Integration in Real PCF. Inf. Comput., 160(1-2):128-166, 2000.
@article{EdalatE00, title = {Integration in Real PCF}, author = {Abbas Edalat and Martín Hötzel Escardó}, year = {2000}, researchr = {https://researchr.org/publication/EdalatE00}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {160}, number = {1-2}, pages = {128-166}, }