The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (2007)

by Martin Hyland , John Power
Citations:12 - 0 self