Login / Signup

A Cateogry-Theoretic Account of Program Modules.

Eugenio Moggi
Published in: Math. Struct. Comput. Sci. (1991)
Keyphrases