Proof nets and explicit substitutions (2003)

by R Di Cosmo, D Kesner, E Polonovski
Venue:Math. Str. in Comput. Sci