L. Roversi
An introduction to intuitionistic light affine
logic
Lecture notes - Mini (Doctoral) School Chambéry/Turin of
Theoretical Computer Science, Jan 2003
These notes use Light Affine Logic to introduce the basic principles
that can be exploited, inside Linear Logic, to control the complexity of
the cut elimination
[ bib |
.ps.gz |
.html ]
Back
This file has been generated by
bibtex2html 1.43