Monotone types and strong normalization (1999)

by Ralph Matthes
Venue:Computer Science Logic, 12th International Workshop