2 papers
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…
cs.LO2023
A Log-Sensitive Encoding of Turing Machines in the -Calculus
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
This note modifies the reference encoding of Turing machines in the -calculus by Dal Lago and Accattoli, which is tuned for time efficiency, as to accommodate logarithmic space.…