Roberto Di Cosmo and Delia Kesner. Strong normalization of explicit substitutions via cut elimination in proof nets. In 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97), 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Cut Rules and Explicit Substitutions - Vestergaard, Wells (1999) (3 citations) (Correct)
No context found.
Roberto Di Cosmo and Delia Kesner. Strong normalization of explicit substitutions via cut elimination in proof nets. In 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97), 1997.
Cut Rules and Explicit Substitutions - Vestergaard, Wells (2000) (3 citations) (Correct)
No context found.
Di Cosmo, R. and Kesner, D. (1997). Strong normalization of explicit substitutions via cut elimination in proof nets. In 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97).
Intersection Types for Explicit Substitutions - Lengrand, Lescanne.. (2003) (Correct)
No context found.
R. Di Cosmo and D. Kesner. Strong normalization of explicit substitutions via cut elimination in proof nets. In G.Winskel, editor, LICS'97, pages 35--46. IEEEC Society Press, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC