Strong normalization in a non-deterministic typed lambda-calculus (1994)

by P de Groote
Venue:In Logical Foundations of Computer Science