M.H.: Semantics of a sequential language for exact real-number computation (2004)

by J R Marcial-Romero, Escardó
Venue:In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science