Discrete Lawvere theories and computatio
✍
Martin Hyland; John Power
📂
Article
📅
2006
🏛
Elsevier Science
🌐
English
⚖ 299 KB