Reference Enriched Lawvere Theories [power-enriched-lawvere]
Reference Enriched Lawvere Theories [power-enriched-lawvere]
@article
{power-enriched-lawvere, title={Enriched Lawvere Theories}, volume={6}, journal={Theory and Applications of Categories}, author={Power, John}, year={1999}, pages={83-93},language={English} }