A Completeness Theorem for Recursively Defined Types.

Mario Coppo

Browse the full ICALP paper archive.