scientific article; zbMATH DE number 4180774

zbMATH Open0716.68019MaRDI QIDQ3204027FDOQ3204027

Authors: Daniel M. Leivant 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• Stratified polymorphism and primitive recursion
• scientific article; zbMATH DE number 1722646
• On the expressive power of finitely typed and universally polymorphic recursive procedures
• scientific article; zbMATH DE number 512786
• scientific article; zbMATH DE number 445159

zbMATH Keywords

stratified\(\lambda \) -calculusGrzegorczyk's subrecursive hierarchypolymorphic typing

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Combinatory logic and lambda calculus (03B40) Recursive functions and relations, subrecursive hierarchies (03D20)

Cited In (4)

• Finitely stratified polymorphism
• On the expressive power of finitely typed and universally polymorphic recursive procedures
• Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus
• A higher-order calculus and theory abstraction

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