The computational power of M^

DOI10.1002/1521-3870(200201)48:1%3C117::AID-MALQ117%3E3.0.CO;2-JzbMATH Open0993.03056OpenAlexW2075559370MaRDI QIDQ2776817FDOQ2776817

Authors: Christian Rørdam, Dag Normann 

Publication date: 16 September 2002

Published in: Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/1521-3870(200201)48:1%3C117::aid-malq117%3E3.0.co;2-j

Recommendations

• Comparing Computational Power
• Computability in higher types, P\(\omega\) and the completeness of type assignment
• \({\mathcal M}^\omega\) considered as a programming language
• scientific article; zbMATH DE number 3933051
• scientific article; zbMATH DE number 1497732

zbMATH Keywords

domainsfan functionalcontinuous functionalshigher types\(\mu\)-recursiontotal functionals

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Cites Work

• Title not available (Why is that?)
• Computations in higher types

This page was built for publication: The computational power of \({\mathcal M}^\omega\)

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