A Completeness Theorem for Recursively Defined Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mario Coppo. A Completeness Theorem for Recursively Defined Types. In Wilfried Brauer, editor, Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings. Volume 194 of Lecture Notes in Computer Science, pages 120-129, Springer, 1985.

This author has not been identified. Look up 'Mario Coppo' in Google

runs on WebDSL