Type-checking injective pure type systems (1999)

by G Barthe
Venue:Journal of Functional Programming