Proof Nets and Explicit Substitutions (2000)

Cached

Download Links

by Roberto Di Cosmo , Delia Kesner , Emmanuel Polonovski
Venue:Mathematical Structures in Computer Science
Citations:9 - 2 self