Stratified polymorphism and primitive recursion

DOI10.1017/S0960129599002868MaRDI QIDQ4704766zbMATH OpenOpenAlexWikidataFDO

Authors Norman Danner, Daniel M. Leivant

Publication date 4 May 2000

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129599002868

zbMATH Keywords

Grzegorczyk hierarchynumeric functionsprimitive recursive functionssecond-order lambda calculustype abstraction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Recursive functions and relations, subrecursive hierarchies (03D20) Functional programming and lambda calculus (68N18)

Recommendations

• Programming Languages and Systems
• scientific article; zbMATH DE number 3874579
• On Polymorphic Recursion, Type Systems, and Abstract Interpretation
• Recursive and dynamic structures in generic programming
• Subtyping recursion and parametric polymorphism in kernel Fun
• scientific article; zbMATH DE number 445161
• scientific article; zbMATH DE number 2112161
• Primitive recursion for higher-order abstract syntax
• scientific article; zbMATH DE number 2185713
• Primitive recursion in the abstract

Cited in

(6)

• scientific article; zbMATH DE number 4180774 (Why is no real title available?)
• Taming Modal Impredicativity: Superlazy Reduction
• scientific article; zbMATH DE number 1984519 (Why is no real title available?)
• The computational content of atomic polymorphism
• An elementary fragment of second-order lambda calculus
• Programming Languages and Systems

This page was built for publication: Stratified polymorphism and primitive recursion

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