Syntax and Semantics in Higher-Type Recursion Theory

DOI10.2307/1999418MaRDI QIDQ4742771zbMATH OpenOpenAlexFDO

Authors David P. Kierstead

Publication date 1983

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

zbMATH Keywords

recursive functionalgeneralized computation tree

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Cites work

• scientific article; zbMATH DE number 3912368 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Recursive Functionals and Quantifiers of Finite Types I
• Recursive Functionals and Quantifiers of Finite Types II

This page was built for publication: Syntax and Semantics in Higher-Type Recursion Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4742771)