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
- 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
- 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?)
- Hyperformulae, parallel deductions and intersection types
- Intersection typed -calculus
- Simple type-theoretic foundations for object-oriented programming
- The system \({\mathcal F}\) of variable types, fifteen years later
Cited in
(34)- Complete restrictions of the intersection type discipline
- Intersection types for combinatory logic
- Types with intersection: An introduction
- A binary modal logic for the intersection types of lambda-calculus.
- A decidable subtyping logic for intersection and union types
- Infinite intersection types
- Embedding a second-order type system into an intersection type system
- Non-idempotent intersection types in logical form
- The untyped computational \(\lambda \)-calculus and its intersection type discipline
- Intersection typed -calculus
- Towards an intersection typed system à la Church
- Logic and computation in a lambda calculus with intersection and union types
- Church and Curry: combining intrinsic and extrinsic typing
- A realizability interpretation for intersection and union types
- Bridging Curry and Church's typing style
- Intersection types for λGtz-calculus
- On Isomorphisms of Intersection Types
- scientific article; zbMATH DE number 5558176 (Why is no real title available?)
- Refinement Types as Proof Irrelevance
- Inhabitation of Low-Rank Intersection 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?)
- Intersection types and λ-definability
- scientific article; zbMATH DE number 1479641 (Why is no real title available?)
- A classification of intersection type systems
- scientific article; zbMATH DE number 2087541 (Why is no real title available?)
- 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
- YACC: Yet Another Church Calculus. A birthday present for Herman inspired by his supervisor activity
- Intersection types via finite-set declarations
- Strong normalization through idempotent intersection types: a new syntactical approach
- 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-types à la Church
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2381503)
