Monotone Fixed-Point Types and Strong Normalization (1998)

View PDF

Download Links

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