Proof Nets and Explicit Substitutions.

Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski

Browse the full FOSSACS paper archive.