Induction and recursion on the partial real line with applications to Real PCF. Theoret (1999)

by Streicher
Venue:Comput. Sci