Martín Hötzel Escardó, Thomas Streicher. Induction and Recursion on the Partial Real Line with Applications to Real PCF. Theoretical Computer Science, 210(1):121-157, 1999. [doi]
@article{EscardoS99, title = {Induction and Recursion on the Partial Real Line with Applications to Real PCF}, author = {Martín Hötzel Escardó and Thomas Streicher}, year = {1999}, doi = {10.1016/S0304-3975(98)00099-1}, url = {http://dx.doi.org/10.1016/S0304-3975(98)00099-1}, researchr = {https://researchr.org/publication/EscardoS99}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {210}, number = {1}, pages = {121-157}, }