12 citations · 60 across the 29 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.CT2015★ 12 cited
A cottage industry of lax extensions
Dirk Hofmann, Gavin J. Seal
In this work, we describe an adjunction between the comma category of SET-based monads under the V-powerset monad and the category of associative lax extensions of SET-based monads…
cs.LO2015★ 7 cited
Continuity as a computational effect
Renato Neves, Luis S. Barbosa, Dirk Hofmann +1
The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are…