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. and Streicher, Thomas (1999):
Induction and recursion on the partial real line with applications to Real PCF.
210, In: Theoretical computer science, pp. 121-157, [Article]

Escardó, M. H. and 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]

This list was generated on Sat Jan 25 01:36:52 2020 CET.