Browse by Person
 | Up a level |
Number of items: 2.
Escardó, M. H. ; Streicher, Thomas (1999):
Induction and recursion on the partial real line with applications to Real PCF.
In: Theoretical computer science, 210, pp. 121-157. [Article]
Escardó, M. H. ; Streicher, Thomas (1997):
Induction and recursion on the partial real line via biquotients of bifree algebras.
In: Annual IEEE Symposium on Logic in Computer Science (LICS'97) <12, 1997, Warsaw, Poland>: Proceedings. S. 376-386, [Conference or Workshop Item]
Drucken
Impressum