TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 2.
Artikel
Escardó, M. H. ; Streicher, Thomas (1999)
Induction and recursion on the partial real line with applications to Real PCF.
In: Theoretical computer science, 210
Artikel, Bibliographie
Konferenzveröffentlichung
Escardó, M. H. ; Streicher, Thomas (1997)
Induction and recursion on the partial real line via biquotients of bifree algebras.
Konferenzveröffentlichung, Bibliographie