A quantitative version of simple types

DOI10.4230/LIPICS.FSCD.2023.29zbMATH Open1548.03021MaRDI QIDQ6622073FDOQ6622073

Authors: Daniele Pautasso, Simona Ronchi Della Rocca 

Publication date: 21 October 2024

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

zbMATH Keywords

\(\lambda\)-calculusunificationintersection types

Mathematics Subject Classification ID

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

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)