%0 Journal Article %1 journals/mscs/EscardoHS04 %A Escardó, Martín Hötzel %A Hofmann, Martin %A Streicher, Thomas %D 2004 %J Math. Struct. Comput. Sci. %K %N 6 %P 803-814 %T On the non-sequential nature of the interval-domain model of real-number computation. %U http://dblp.uni-trier.de/db/journals/mscs/mscs14.html#EscardoHS04 %V 14

@article{journals/mscs/EscardoHS04, added-at = {2023-12-13T00:22:37.000+0100}, author = {Escardó, Martín Hötzel and Hofmann, Martin and Streicher, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2a825eef0f027b883e577848e1b82aaa5/admin}, ee = {https://doi.org/10.1017/S0960129504004360}, interhash = {627b3d443cf0971254512a0faabff1b0}, intrahash = {a825eef0f027b883e577848e1b82aaa5}, journal = {Math. Struct. Comput. Sci.}, keywords = {}, number = 6, pages = {803-814}, timestamp = {2023-12-13T00:22:37.000+0100}, title = {On the non-sequential nature of the interval-domain model of real-number computation.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs14.html#EscardoHS04}, volume = 14, year = 2004 }