DMCA

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

by Martín Hötzel Escardó
Citations:24 - 6 self