Essential intersection type assignment

DOI10.1007/3-540-57529-4_40MaRDI QIDQ4268452zbMATH OpenFDO

Authors Steffen Van Bakel

Publication date 31 October 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57529-4_40

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Intersection type assignment systems
• Strict intersection types for the lambda calculus
• scientific article; zbMATH DE number 1361533
• Complete restrictions of the intersection type discipline

Cited in

(5)

• Intersection type assignment systems
• Nominal essential intersection types
• Intersection and singleton type assignment characterizing finite Böhm-trees
• Essential and relational models
• Filter models for conjunctive-disjunctive \(\lambda\)-calculi

This page was built for publication: Essential intersection type assignment

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