Monotone Fixed-Point Types and Strong Normalization (1998)

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