activity
20132017
most citedAn enriched view on the extended finitary monad--Lawvere theory correspondence

6 citations · 6 across the 4 of their papers we have counts for

collaborators
Showing 2017 · cs.LOShow all

1 paper · 2 filters

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…