Enriched Lawvere theories (1999)

by John Power
Venue:Theory Appl. Categ