scientific article

zbMath0572.03027MaRDI QIDQ3689176

Stephen C. Kleene

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semanticscomputations in higher typesoracle for partial monotone operators

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Related Items (3)

Syntax and Semantics in Higher-Type Recursion Theory ⋮ A game-semantic model of computation ⋮ The sequentially realizable functionals

This page was built for publication: