Comparing functional paradigms for exact real-number computation (2002)

by Andrej Bauer , Martín Hötzel Escardó , Alex Simpson
Venue:in Proceedings ICALP 2002, Springer LNCS 2380
Citations:15 - 3 self

Document Versions

Comparing functional paradigms for exact real-number computation –Andrej Bauer, Martín Hötzel Escardó, Alex Simpson — 2002 — in Proceedings ICALP 2002, Springer LNCS 2380
Comparing functional paradigms for exact real-number computation –Andrej Bauer, Martín Hötzel Escardó, Alex Simpson — 2002 — in Proceedings ICALP 2002, Springer LNCS 2380
Comparing Functional Paradigms for Exact Real-Number –Andrej Bauer, Martín Hötzel Escardó, Alex Simpson — 2002 — in Proceedings ICALP 2002, Springer LNCS 2380