Cut Rules and Explicit Substitutions (2001)

by R Vestergaard, J B Wells
Venue:Mathematical Structures in Computer Science