%0 Journal Article %1 journals/tcs/EscardoS99 %A Escardó, Martín Hötzel %A Streicher, Thomas %D 1999 %J Theor. Comput. Sci. %K %N 1 %P 121-157 %T Induction and Recursion on the Partial Real Line with Applications to Real PCF. %U http://dblp.uni-trier.de/db/journals/tcs/tcs210.html#EscardoS99 %V 210

@article{journals/tcs/EscardoS99, added-at = {2023-12-13T00:23:18.000+0100}, author = {Escardó, Martín Hötzel and Streicher, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2cc0705d5c1b0e6ac0b750e2e899ea85d/admin}, date = {2003-11-19}, ee = {http://dx.doi.org/10.1016/S0304-3975(98)00099-1}, interhash = {62a3b419732a751f58c6a5d8fd8b302f}, intrahash = {cc0705d5c1b0e6ac0b750e2e899ea85d}, journal = {Theor. Comput. Sci.}, keywords = {}, number = 1, pages = {121-157}, timestamp = {2023-12-13T00:23:18.000+0100}, title = {Induction and Recursion on the Partial Real Line with Applications to Real PCF.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs210.html#EscardoS99}, volume = 210, year = 1999 }