Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Elementary Affine Logic (EAL) is a variant of the Linear Logic characterizing the computational por of the elementary bounded Turing machines. The EAL Type Inference problem is the problem of automatically assigning to terms of A-calculus EAL formulas as types. This problem is proved to be decidable, and an algorithm is shod, building, for every λ-term, either a negative ansr or a finite set of type schemata, from which all and only its typings can be derived, through suitable operations.
['Paolo Coppola', 'Simona Ronchi Della Rocca']
I am writing a research paper on a idea Principal typing in elementary affine logic
[{"from": "human", "value": "I am writing a research paper on a idea Principal typing in elementary affine logic"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Elementary Affine Logic (EAL) is a variant of the Linear Logic characterizing the computational por of the elementary bounded Turing machines. The EAL Type Inference problem is the problem of automatically assigning to terms of A-calculus EAL formulas as types. This problem is proved to be decidable, and an algorithm is shod, building, for every \u03bb-term, either a negative ansr or a finite set of type schemata, from which all and only its typings can be derived, through suitable operations."}]