Induction and recursion on the partial real line with applications to Real PCF (1997)

by Martín Hötzel Escardo , Thomas Streicher
Venue:Theoretical Computer Science
Citations:6 - 1 self