Recursion over objects of functional type

DOI10.1017/S0960129501003346MaRDI QIDQ2746760zbMATH OpenOpenAlexFDO

Authors Pierre Leleu, J. Despeyroux

Publication date 10 October 2001

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

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1420785
• scientific article; zbMATH DE number 2185713
• Primitive recursion for higher-order abstract syntax
• scientific article; zbMATH DE number 1841845
• Typed λ-calculus with recursive definitions

Cited in

(8)

• Primitive recursive functional with dependent types
• scientific article; zbMATH DE number 1420785 (Why is no real title available?)
• scientific article; zbMATH DE number 1841845 (Why is no real title available?)
• Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism
• scientific article; zbMATH DE number 3857078 (Why is no real title available?)
• Cut-free Gentzen calculus for multimodal CK
• Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
• Closure functions and general iterates as reflectors

This page was built for publication: Recursion over objects of functional type

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