Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}