Types as Theories (1991)
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 |
