1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
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…