A logical aspect of parametric polymorphism

DOI10.1007/3-540-61377-3_44MaRDI QIDQ6560174zbMATH OpenFDO

Authors Ryu Hasegawa

Publication date 21 June 2024

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35)

Cites work

• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 512792 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 3231083 (Why is no real title available?)
• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• Categorical data types in parametric polymorphism
• Categorical semantics for higher order polymorphic lambda calculus
• Formal parametric polymorphism
• Functorial polymorphism
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Relational limits in general polymorphism
• Structural polymorphism
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Theory of Formal Systems. (AM-47)

This page was built for publication: A logical aspect of parametric polymorphism

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