scientific article
From MaRDI portal
Publication:3360172
zbMath0733.03037MaRDI QIDQ3360172
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
definabilitycontinuous functionalstotal objectsKreisel's density theoremconstructive domaincomputable functionals of finite typeKleene's schemesKreisel-Lacombe- Shoenfield theorempartial functionals
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Higher-type and set recursion theory (03D65)
Related Items (10)
Higher-order games with dependent types ⋮ Coalgebras in functional programming and type theory ⋮ Nonflatness and totality ⋮ A Hofmann-Mislove theorem for bitopological spaces ⋮ On maximal stable functions ⋮ Maximality and totality of stable functions in the category of stable bifinite domains ⋮ A Functional Algorithm for Exact Real Integration with Invariant Measures ⋮ Total sets and objects in domain theory ⋮ Operational domain theory and topology of sequential programming languages ⋮ Exact real number computations relative to hereditarily total functionals.
This page was built for publication:
