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:14 - 3 self