Intersection and union types for X

MaRDI QIDQ2851093zbMATH OpenFDO

Authors Steffen Van Bakel

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050668

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Completeness and soundness results for \(\mathcal X\) with intersection and union types
• Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus
• Intersection and union types: Syntax and semantics
• Intersection types for λGtz-calculus
• scientific article; zbMATH DE number 1956517

Cited in

(4)

• scientific article; zbMATH DE number 1956517 (Why is no real title available?)
• Completeness and soundness results for \(\mathcal X\) with intersection and union types
• Theoretical Computer Science
• Programming Languages and Systems

This page was built for publication: Intersection and union types for \(\mathcal{X}\)

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