Intersection logic
From MaRDI portal
Recommendations
- Intersection logic in sequent calculus style
- The Logic of Persistent Intersection
- scientific article; zbMATH DE number 3859276
- scientific article; zbMATH DE number 1142366
- Intersection Types as Logical Formulae
- scientific article; zbMATH DE number 4214176
- Intersection types for combinatory logic
- Pointwise intersection in neighbourhood modal logic
- Intersection types and computational rules
- scientific article; zbMATH DE number 807872
Cited in
(22)- Non-idempotent intersection types in logical form
- Intersection-types à la Church
- Logical semantics for stability
- Intersection typed -calculus
- Inhabitation of Low-Rank Intersection Types
- Strong conjunction and intersection types
- Intersection Types as Logical Formulae
- scientific article; zbMATH DE number 2062377 (Why is no real title available?)
- A logical view of assignments
- Intersection types for lambda-terms and combinators and their logics
- Intersection types from a proof-theoretic perspective
- Towards a logic for union types
- Hyperformulae, parallel deductions and intersection types
- Intersection logic in sequent calculus style
- Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012
- Kripke semantics for intersection formulas
- The -calculus: syntax and types
- A type checker for a logical framework with union and intersection types (system description)
- 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
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
This page was built for publication: Intersection logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4783322)
