2 papers
cs.LO2026
Interaction Improvement
Adrienne Lancelot, Giulio Manzonetto, Guy McCusker +1
The relational semantics of linear logic is a powerful framework for defining resource-aware models of the -calculus. However, its quantitative aspects are not reflected in the…
cs.PL2024
Monadic Intersection Types, Relationally (Extended Version)
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
We extend intersection types to a computational -calculus with algebraic operations à la Plotkin and Power. We achieve this by considering monadic intersections, whereby computa…