Syntax and Semantics in Higher-Type Recursion Theory

DOI10.2307/1999418zbMATH Open0506.03010OpenAlexW4255294674MaRDI QIDQ4742771FDOQ4742771

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

• Title not available (Why is that?)
• Recursive Functionals and Quantifiers of Finite Types I
• Recursive Functionals and Quantifiers of Finite Types II
• Title not available (Why is that?)

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)