Enriched Lawvere theories. Theory and (0)

by J Power
Venue:Applications of Categories