@PHDTHESIS{Esc97,
  author = {Escard\'{o}, Mart\'{\i}n H\"otzel},
  title = {{PCF} extended with real numbers: a domain-theoretic approach to
	higher-order exact real number computation},
  school = {Imperial College, University of London},
  year = {1997},
  address = {London, Great Britain},
  keywords = {bib,cca,dom}
}

{"_id":"MaGvoZ8bGjLsjfpAZ","bibbaseid":"escard-pcfextendedwithrealnumbersadomaintheoreticapproachtohigherorderexactrealnumbercomputation-1997","authorIDs":[],"author_short":["Escardó, M. H."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"propositions":[],"lastnames":["Escardó"],"firstnames":["Martín","Hötzel"],"suffixes":[]}],"title":"PCF extended with real numbers: a domain-theoretic approach to higher-order exact real number computation","school":"Imperial College, University of London","year":"1997","address":"London, Great Britain","keywords":"bib,cca,dom","bibtex":"@PHDTHESIS{Esc97,\r\n author = {Escard\\'{o}, Mart\\'{\\i}n H\\\"otzel},\r\n title = {{PCF} extended with real numbers: a domain-theoretic approach to\r\n\thigher-order exact real number computation},\r\n school = {Imperial College, University of London},\r\n year = {1997},\r\n address = {London, Great Britain},\r\n keywords = {bib,cca,dom}\r\n}\r\n\r\n","author_short":["Escardó, M. H."],"key":"Esc97","id":"Esc97","bibbaseid":"escard-pcfextendedwithrealnumbersadomaintheoreticapproachtohigherorderexactrealnumbercomputation-1997","role":"author","urls":{},"keyword":["bib","cca","dom"],"downloads":0},"bibtype":"phdthesis","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.648Z","downloads":0,"keywords":["bib","cca","dom"],"search_terms":["pcf","extended","real","numbers","domain","theoretic","approach","higher","order","exact","real","number","computation","escardó"],"title":"PCF extended with real numbers: a domain-theoretic approach to higher-order exact real number computation","year":1997,"dataSources":["t7rKiAbxugj4Agz8M"]}