scientific article; zbMATH DE number 1841834
From MaRDI portal
Publication:4783322
zbMATH Open0999.03011MaRDI QIDQ4783322FDOQ4783322
Authors: Luca Roversi, Simona Ronchi Della Rocca 
Publication date: 4 December 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420414
Title of this publication is not available (Why is that?)
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 (18)
- Logical semantics for stability
- Title not available (Why is that?)
- Intersection logic in sequent calculus style
- Intersection typed \(\lambda \)-calculus
- Intersection types from a proof-theoretic perspective
- Inhabitation of Low-Rank Intersection Types
- Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012
- Intersection types for lambda-terms and combinators and their logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
- Towards a logic for union 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
- Intersection-types à la Church
- Kripke semantics for intersection formulas
- A logical view of assignments
- Hyperformulae, parallel deductions and intersection types
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 Q4783322)
