scientific article

From MaRDI portal

Publication:3689176

Jump to:navigation, search

zbMath0572.03027MaRDI QIDQ3689176

Stephen C. Kleene

Publication date: 1982

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

zbMATH Keywords

semantics computations in higher types oracle 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:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3689176&oldid=17170825"