Countable Lawvere Theories and Computational Effects (2006)

Cached


by John Power
Citations:10 - 2 self

Document Versions

Countable Lawvere Theories and Computational Effects –John Power — 2006
Discrete Lawvere theories and computational effects –Martin Hyland, John Power — 2006