Login / Signup

Recursively Defined Doains and their Induction Principles.

Finn Verner JensenKim Guldstrand Larsen
Published in: Theor. Comput. Sci. (1987)
Keyphrases