Stephen Lack, John Power. Gabriel-Ulmer duality and Lawvere theories enriched over a general base. Journal of Functional Programming, 19(3-4):265-286, 2009. [doi]
@article{LackP09,
title = {Gabriel-Ulmer duality and Lawvere theories enriched over a general base},
author = {Stephen Lack and John Power},
year = {2009},
doi = {10.1017/S0956796809007254},
url = {http://dx.doi.org/10.1017/S0956796809007254},
tags = {rule-based},
researchr = {https://researchr.org/publication/LackP09},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {19},
number = {3-4},
pages = {265-286},
}