LIGHT AFFINE LOGIC AS A PROGRAMMING LANGUAGE: A FIRST CONTRIBUTION
Luca Roversi · International Journal of Foundations of Computer Science · 2000
This work is about an experimental paradigmatic functional language for programming with P-TIME functions. The language is designed from Intuitionistic Light Affine Logic. It can be typed automatically by a type inference algorithm that deduces polymorphic types à la ML.