Intersection typed -calculus
From MaRDI portal
Intersection typed \(\lambda \)-calculus
Recommendations
Cites work
- A calculus with polymorphic and polyvariant flow types
- An extension of basic functionality theory for -calculus
- Complete restrictions of the intersection type discipline
- Coppo-Dezani types do not correspond to propositional logic
- scientific article; zbMATH DE number 1302672 (Why is no real title available?)
- scientific article; zbMATH DE number 1841834 (Why is no real title available?)
- Hyperformulae, parallel deductions and intersection types
- Intersection Types as Logical Formulae
- Perturbative renormalization of moments of quark momentum, helicity and transversity distributions with overlap and Wilson fermions
- The lambda calculus. Its syntax and semantics. Rev. ed.
Cited in
(28)- A system at the cross-roads of functional and logic programming
- Infinite intersection types
- The untyped computational \(\lambda \)-calculus and its intersection type discipline
- Intersection types and lambda models
- Intersection-types à la Church
- Compositional characterisations of \(\lambda\)-terms using intersection types
- A Translation of Intersection and Union Types for the λμ-Calculus
- Polar type inference with intersection types and
- Towards an intersection typed system à la Church
- Intersection types for light affine lambda calculus
- Strict intersection types for the lambda calculus
- Isomorphism of "Functional" Intersection Types
- Logic and computation in a lambda calculus with intersection and union types
- A realizability interpretation for intersection and union types
- Intersection types for λGtz-calculus
- A classification of intersection type systems
- scientific article; zbMATH DE number 1361533 (Why is no real title available?)
- scientific article; zbMATH DE number 2087541 (Why is no real title available?)
- Intersection types from a proof-theoretic perspective
- Intersection logic in sequent calculus style
- Proceedings of the fifth workshop on intersection types and related systems, Edinburgh, UK, July 9, 2010
- Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012
- The -calculus: syntax and types
- A tale of intersection types
- Linearization of the lambda-calculus and its relation with intersection type systems
- Intersection types via finite-set declarations
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
- A typed lambda calculus with intersection types
This page was built for publication: Intersection typed \(\lambda \)-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842843)
