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

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2023.29

zbMATH Keywords

\(\lambda\)-calculusintersection typesunification

Mathematics Subject Classification ID

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

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

Cited in

(2)

• Mechanized subject expansion in uniform intersection types for perpetual reductions
• Meaningfulness and genericity in a subsuming framework (invited talk)

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)