Login / Signup

Formalizing Type Operations Using the "Image" Type Constructor.

Aleksey NoginAlexei Kopylov
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases