Login / Signup

Remarks on isomorphisms of simple inductive types.

David ChemouilSergei Soloviev
Published in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases