Vincent Danos and Roberto Di Cosmo. Introduction to linear logic. Course Notes, very preliminary version of [3], June 1992.

bib | Local copy | Url ] This file was generated by bibtex2html 1.98.