3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
F. Guidi
The formal system lambda-delta is a typed lambda calculus that pursues the unification of terms, types, environments and contexts as the main goal. lambda-delta takes some features…