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 |
Local copy ]
This file was generated by