Intersection logic in sequent calculus style

MaRDI QIDQ4964689zbMATH OpenFDO

Authors Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti, Simona Ronchi Della Rocca

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1101.4424, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ITRS2010.2

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 1841834
• Intersection types from a proof-theoretic perspective
• Intersection typed -calculus
• Intersection types for λGtz-calculus
• Intersection Types as Logical Formulae

Cited in

(10)

• A binary modal logic for the intersection types of lambda-calculus.
• A realizability interpretation for intersection and union types
• A Logical Calculus for Modelling Interferences
• Intersection Types as Logical Formulae
• Intersection types for lambda-terms and combinators and their logics
• scientific article; zbMATH DE number 1841834 (Why is no real title available?)
• Intersection types from a proof-theoretic perspective
• Towards a logic for union types
• Hyperformulae, parallel deductions and intersection types
• Kripke semantics for intersection formulas

This page was built for publication: Intersection logic in sequent calculus style

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4964689)