Intersection-types à la Church
From MaRDI portal
Recommendations
- Towards an intersection typed system à la Church
- A tale of intersection types
- On type inference in the intersection type discipline
- Applicative intersection types
- On isomorphisms of intersection types
- On Isomorphisms of Intersection Types
- Intersection types from a proof-theoretic perspective
- Types with intersection: An introduction
- The intersection type unification problem
- scientific article; zbMATH DE number 1929308
Cites work
- scientific article; zbMATH DE number 445157 (Why is no real title available?)
- scientific article; zbMATH DE number 3889502 (Why is no real title available?)
- scientific article; zbMATH DE number 46869 (Why is no real title available?)
- scientific article; zbMATH DE number 1361533 (Why is no real title available?)
- scientific article; zbMATH DE number 2087541 (Why is no real title available?)
- scientific article; zbMATH DE number 1841834 (Why is no real title available?)
- A calculus with polymorphic and polyvariant flow types
- A filter lambda model and the completeness of type assignment
- An extension of basic functionality theory for -calculus
- Comparing cubes of typed and type assignment systems
- Coppo-Dezani types do not correspond to propositional logic
- Hyperformulae, parallel deductions and intersection types
- Intersection typed \(\lambda \)-calculus
- Simple type-theoretic foundations for object-oriented programming
- The system \({\mathcal F}\) of variable types, fifteen years later
Cited in
(30)- Intersection types and λ-definability
- A tale of intersection types
- Complete restrictions of the intersection type discipline
- scientific article; zbMATH DE number 7559294 (Why is no real title available?)
- Logic and computation in a lambda calculus with intersection and union types
- Intersection typed \(\lambda \)-calculus
- Infinite intersection types
- A binary modal logic for the intersection types of lambda-calculus.
- Towards an intersection typed system à la Church
- Church and Curry: combining intrinsic and extrinsic typing
- Inhabitation of Low-Rank Intersection Types
- A classification of intersection type systems
- Refinement Types as Proof Irrelevance
- scientific article; zbMATH DE number 5558176 (Why is no real title available?)
- scientific article; zbMATH DE number 1479641 (Why is no real title available?)
- Intersection types for λGtz-calculus
- Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012
- Bridging Curry and Church's typing style
- A realizability interpretation for intersection and union types
- scientific article; zbMATH DE number 4049615 (Why is no real title available?)
- scientific article; zbMATH DE number 176126 (Why is no real title available?)
- scientific article; zbMATH DE number 2087541 (Why is no real title available?)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline
- On Isomorphisms of Intersection Types
- A typed lambda calculus with intersection types
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
- A decidable subtyping logic for intersection and union types
- Intersection types for combinatory logic
- Types with intersection: An introduction
- Non-idempotent intersection types in logical form
This page was built for publication: Intersection-types à la Church
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2381503)
