scientific article; zbMATH DE number 1361533
From MaRDI portal
Publication:4699351
Recommendations
- Intersection types and λ-definability
- Intersection types for -trees
- Intersection types for the -calculus
- Intersection types for lambda-terms and combinators and their logics
- Full intersection types and topologies in lambda calculus
- scientific article; zbMATH DE number 2185718
- Intersection typed -calculus
- Intersection types from a proof-theoretic perspective
- Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus
- Compositional characterisations of \(\lambda\)-terms using intersection types
Cited in
(16)- A characterization of F-complete type assignments
- Complete restrictions of the intersection type discipline
- The completeness of BCD for an operational semantics
- Intersection and singleton type assignment characterizing finite Böhm-trees
- Intersection-types à la Church
- Simple easy terms
- The better bubbling lemma
- scientific article; zbMATH DE number 2185718 (Why is no real title available?)
- Recognizability in the Simply Typed Lambda-Calculus
- scientific article; zbMATH DE number 1354138 (Why is no real title available?)
- Intersection types with subtyping by means of cut elimination
- scientific article; zbMATH DE number 7526053 (Why is no real title available?)
- Intersection types for -trees
- Completeness of intersection and union type assignment systems for call-by-value -models
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
- On the membership problem for non-linear abstract categorial grammars
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4699351)
