Login / Signup

Total objects in inductively defined types.

Lill KristiansenDag Normann
Published in: Arch. Math. Log. (1997)
Keyphrases