Preservation of Strong Normalisation for Explicit Substitution (1995)

by Roel Bloo
Citations:20 - 2 self