scientific article; zbMATH DE number 3993543

MaRDI QIDQ4722040zbMATH OpenFDO

Authors Alessandro Berarducci

Publication date 1985

zbMATH Keywords

heterogeneous algebraslambda-calculusrecursive Gödel functionals

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Computability and recursion theory (03D99) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1722696
• A category-theoretic characterization of functional completeness
• scientific article; zbMATH DE number 3914307
• General recursive functions in a very simply interpretable typed -calculus
• scientific article; zbMATH DE number 176200

Cited in

(10)

• Characterizing the elementary recursive functions by a fragment of Gödel's \(T\)
• A unary representation result for system \(T\)
• An algebra for finitary ontology or a functionally complete language for the finitary theory of types
• The realizability problem for Golovach-type functions
• scientific article; zbMATH DE number 1722696 (Why is no real title available?)
• Gödelization in the lambda calculus
• scientific article; zbMATH DE number 3914307 (Why is no real title available?)
• Axiomatic recursion theory and the continuous functionals
• scientific article; zbMATH DE number 1223615 (Why is no real title available?)
• scientific article; zbMATH DE number 4115928 (Why is no real title available?)

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 Q4722040)