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]
No references recorded for this publication.
No citations of this publication recorded.