2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
A cornerstone of the theory of lambda-calculus is that intersection types characterise termination properties. They are a flexible tool that can be adapted to various notions of te…