2 citations · 6 across the 13 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Strong normalization through idempotent intersection types: a new syntactical approach
Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile
It is well-known that intersection type assignment systems can be used to characterize strong normalization (SN). Typical proofs that typable lambda-terms are SN in these systems r…
cs.LO2025★ 1 cited
Sharing and Linear Logic with Restricted Access (Extended Version)
Pablo Barenbaum, Eduardo Bonelli
The two Girard translations provide two different means of obtaining embeddings of Intuitionistic Logic into Linear Logic, corresponding to different lambda-calculus calling mechan…