Semantics of a sequential language for exact real-number computation (0)

by J R Marcial-Romero, M H Escardó
Venue:Theoretical Computer Science, 379(1-2):120–141, 2007. 40 Inteligencia Artificial 48(2010