scientific article; zbMATH DE number 3910

MaRDI QIDQ4710656zbMATH OpenFDO

Authors Yiannis N. Moschovakis

Publication date 25 June 1992

zbMATH Keywords

intensional semanticsabstract algorithmformal language of recursion FLRreduction calculusalgorithm-preserving compilation

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• The formal language of recursion
• scientific article; zbMATH DE number 3966062
• scientific article; zbMATH DE number 1163990
• The logic of recursive equations
• scientific article; zbMATH DE number 4076602

Cited in

(7)

• Towards a geometry of recursion
• Simple Models for Recursive Schemes
• scientific article; zbMATH DE number 3947539 (Why is no real title available?)
• Definition of flat poset and existence theorems for recursive call
• Polynomial-time versus recursive models
• The formal language of recursion
• Intensional aspects of function definitions

This page was built for publication:

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