Login / Signup

Inductive Families.

Peter Dybjer
Published in: Formal Aspects Comput. (1994)
Keyphrases