1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Patrick Baillot, Kazushige Terui
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p…