scientific article; zbMATH DE number 2204752
From MaRDI portal
Publication:5316371
zbMath1095.03032MaRDI QIDQ5316371
Publication date: 12 September 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Higher-type and set recursion theory (03D65)
Related Items (12)
A constructive manifestation of the Kleene-Kreisel continuous functionals ⋮ Unnamed Item ⋮ A logical approach to stable domains ⋮ Game semantics approach to higher-order complexity ⋮ A class of bounded functions, a database language and an extended lambda calculus ⋮ Interpreting Localized Computational Effects Using Operators of Higher Type ⋮ On the Semantics of Intensionality ⋮ Incomputability Emergent, and Higher Type Computation ⋮ The machine as data: a computational view of emergence and definability ⋮ A stable programming language ⋮ The sequentially realizable functionals ⋮ Aspects of Categorical Recursion Theory
This page was built for publication:
