-
Light logics and optimal reduction: Completeness and complexity
International audience -
Type inference for light affine logic via constraints on words.
This dataset has no description
-
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus.
11 pages. A preliminary version appeared as Research Report IAC CNR Roma , N.57 (11/2004), november 2004.
