Login / Signup

Categorical ML - Category-Theoretic Modular Programming.

Esther Dennis-JonesDavid E. Rydeheard
Published in: Formal Aspects Comput. (1993)
Keyphrases