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.99.