Roberto Di Cosmo, Delia Kesner, and Emmanuel Polonovski. Proof nets and explicit substitutions. In Foundation of Software Science and Computation Structure, volume 1784 of Lecture Notes in Computer Science, pages 63--81. Springer-Verlag, 2000.
[ bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.