Intersection Types from a Proof-theoretic Perspective
From MaRDI portal
Publication:4903721
DOI10.3233/FI-2012-778zbMath1272.03082OpenAlexW1919063304MaRDI QIDQ4903721
Elaine Pimentel, Luca Roversi, Simonetta Ronchi della Rocca
Publication date: 24 January 2013
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2012-778
Proof theory in general (including proof-theoretic semantics) (03F03) Combinatory logic and lambda calculus (03B40)
Related Items (4)
From realizability to induction via dependent intersection ⋮ The vectorial \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: Intersection Types from a Proof-theoretic Perspective