Roberto Di Cosmo, Delia Kesner, and Emmanuel Polonovski. Proof nets and explicit substitutions. Mathematical Structures in Computer Science, 13(3):409--450, June 2003.

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