Monotone fixed-point types and strong normalization (1994)

by Ralph Matthes
Venue:In Proceedings of CSL 1998, Lecture Notes in Computer Science. Submitted