×

Found 14 Documents (Results 1–14)

A relative PCF-definability result for strongly stable functions and some corollaries. (English) Zbl 0962.68039

Spreen, Dieter (ed.), Domains IV. Workshop, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 35, 20 p., electronic only (2000).
MSC:  68P05
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software