scientific article

From MaRDI portal

Publication:3900048

Jump to:navigation, search

zbMath0453.03048MaRDI QIDQ3900048

Stephen C. Kleene

Publication date: 1980

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

zbMATH Keywords

computations oracle higher type object

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Related Items (2)

About primitive recursive algorithms ⋮ A game-semantic model of computation

This page was built for publication:

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