A logical aspect of parametric polymorphism
From MaRDI portal
Publication:6560174
DOI10.1007/3-540-61377-3_44zbMATH Open1540.03064MaRDI QIDQ6560174FDOQ6560174
Publication date: 21 June 2024
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
- Categorical semantics for higher order polymorphic lambda calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Theory of Formal Systems. (AM-47)
- Formal parametric polymorphism
- Title not available (Why is that?)
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras
- Categorical data types in parametric polymorphism
- Functorial polymorphism
- Structural polymorphism
- Relational limits in general polymorphism
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)
