Explicit Substitution: on the Edge of Strong Normalization (1997)

by Roel Bloo , Herman Geuvers
Venue:Theoretical Computer Science
Citations:30 - 2 self