A quantitative version of simple types

DOI10.4230/LIPICS.FSCD.2023.29MaRDI QIDQ6622073zbMATH OpenFDO

Authors Daniele Pautasso, Simona Ronchi Della Rocca

Publication date 21 October 2024

zbMATH Keywords

\(\lambda\)-calculusunificationintersection types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Type theory (03B38)

Recommendations

• A quantitative interpretation of Girard's System F
• Principal types and unification for simple intersection type systems
• Intersection types for unboundedness problems
• Quantitative types for the linear substitution calculus
• scientific article; zbMATH DE number 7756108

This page was built for publication: A quantitative version of simple types

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