Enriched Lawvere theories (1999)

by J Power
Venue:electronic), the Lambek Festschrift