and J.Wells. Cut rules and explicit substitutions (1999)

by R Vestergaard
Venue:In Second International Workshop on Explicit Substitutions