%0 Thesis %1 phd/ethos/Escardo97 %A Escardó, Martín Hötzel %D 1997 %K dblp %T PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation.

@phdthesis{phd/ethos/Escardo97, added-at = {2022-05-04T00:00:00.000+0200}, author = {Escardó, Martín Hötzel}, biburl = {https://www.bibsonomy.org/bibtex/274d4c81a0988f32f7788015e128c25e9/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.681634}, interhash = {98f7266a6f61a8e6a4b2d8bd0b525c21}, intrahash = {74d4c81a0988f32f7788015e128c25e9}, keywords = {dblp}, note = {British Library, EThOS}, school = {Imperial College London, UK}, timestamp = {2024-04-09T08:54:50.000+0200}, title = {PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation.}, year = 1997 }