Recursive Functionals and Quantifiers of Finite Types Revisited, V

DOI10.2307/2001641zbMath0748.03030OpenAlexW4253946311MaRDI QIDQ3978437

Stephen C. Kleene

Publication date: 25 June 1992

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2001641

zbMATH Keywords

computationcomputable functionalsoracleshigher type recursion theoryrecursion in higher type functionals

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Related Items (1)

A game-semantic model of computation

This page was built for publication: Recursive Functionals and Quantifiers of Finite Types Revisited, V