A lambda calculus for real analysis (2005)

by P Taylor
Venue:in: Computability and Complexity in Analysis