Elementary Affine Logic (EAL) is a variant of the Linear Logic characterizing the computational power of the elementary bounded Turing machines. The EAL Type Inference problem is the problem of automatically assigning to terms of λ-calculus EAL formulas as types. This problem is proved to be decidable, and an algorithm is showed, building, for every λ-term, either a negative answer or a finite set of type schemata, from which all and only its typings can be derived, through suitable operations. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Coppola, P., & Ronchi Della Rocca, S. (2003). Principal typing in Elementary Affine Logic. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2701, 90–104. https://doi.org/10.1007/3-540-44904-3_7
Mendeley helps you to discover research relevant for your work.