Induction and recursion on the partial real line with applications to (1999)

by M Escardó, T Streicher
Venue:Real PCF, Theoret. Comput. Sci