Roberto Di Cosmo and Delia Kesner. Strong normalization of explicit substitutions via cut elimination in proof nets (extended abstract). In Proceedings, Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS), pages 35--46, Warsaw, Poland, 29 June- 2July 1997. IEEE Computer Society Press.
[ bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.