20 citations · 20 across the 2 of their papers we have counts for
2 papers
math.CT2022
-Categories from a Gray Perspective
Edward Morehouse
In this paper we present -category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider…
cs.PL2019★ 20 cited
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)
G. A. Kavvos, Edward Morehouse, Daniel R. Licata +1
The main way of analyzing the complexity of a program is that of extracting and solving a recurrence that expresses its running time in terms of the size of its input. We develop a…