6 citations · 6 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
Ekaterina Komendantskaya, John Power
The Workshop on Coalgebra, Horn Clause Logic Programming and Types was held on the 28-29 November 2016 in Edinburgh. The workshop marked the end of the EPSRC Grant Coalgebraic Logi…
math.CT2017★ 6 cited
An enriched view on the extended finitary monad--Lawvere theory correspondence
Richard Garner, John Power
We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base…