A completeness theorem for recursively defined types (1985)

by M Coppo
Venue:Automata, Languages and Programming, 12th Colloquium, LNCS 194