TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
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
Article, Bibliographie

Escardó, M. H. ; Streicher, Thomas (1997)
Induction and recursion on the partial real line via biquotients of bifree algebras.
Conference or Workshop Item, Bibliographie

This list was generated on Tue Jun 18 02:14:58 2024 CEST.