1.2k citations · 3.1k across the 24 of their papers we have counts for
1 paper · 2 filters
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing ope…