Monotone Fixed-Point Types and Strong Normalization.

Ralph Matthes

Browse the full CSL paper archive.