A completeness theorem for recursively defined 'types (1985)

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