Vincent Danos and Roberto Di Cosmo. The Linear Logic Primer. 1997. In preparation: preliminary version available from http://www.dicosmo.org.

bib ] This file was generated by bibtex2html 1.99.