Strong normalization of explicit substitutions via cut elimination in proof nets (extended abstract (1997)

by R D COSMO, D KESNER
Venue:in Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science