2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/126449We present a type inference algorithm for lambda-terms in Elementary Affine Logic using linear constraints. We prove that the algorithm is correct and complete.Logic in Computer ScienceF.4.1: D.3text