1.2k citations · 3k across the 22 of their papers we have counts for
1 paper · 1 filter
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…