Sciweavers

Share
CORR
2004
Springer

A feasible algorithm for typing in Elementary Affine Logic

10 years 4 months ago
A feasible algorithm for typing in Elementary Affine Logic
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 previous references on this topic, the variant of EAL type system we consider (denoted EAL ) is a variant where sharing is restricted to variables and without polymorphism. Our algorithm improves over the ones already known in that it offers a better complexity bound: if a simple type derivation for the term t is given our algorithm performs EAL type inference in polynomial time in the size of the derivation.
Patrick Baillot, Kazushige Terui
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2004
Where CORR
Authors Patrick Baillot, Kazushige Terui
Comments (0)
books