Isomorphisms of simple inductive types through extensional rewriting.

Published in: Math. Struct. Comput. Sci. (2005)

Keyphrases