Types as Theories (1991)

Cached

Download Links

by Joseph Goguen Programming , Joseph A. Goguen
Venue:Topology and Category Theory in Computer Science

Document Versions

Types as Theories –Joseph Goguen Programming, Joseph A. Goguen — 1991 — Topology and Category Theory in Computer Science