Light Affine Logic as a Programming Language: A First Contribution

Luca Roversi. Light Affine Logic as a Programming Language: A First Contribution. Int. J. Found. Comput. Sci., 11(1):113-152, 2000.

Abstract

Abstract is missing.