PhD thesis,

PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation.

.
Imperial College London, UK, (1997)British Library, EThOS.

Meta data

Tags

Users

  • @dblp

Comments and Reviews