activity
20192026
most citedRecurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)

20 citations · 20 across the 3 of their papers we have counts for

collaborators
Showing math.CTShow all

2 papers · 1 filter

math.CT2026

Dinaturality for Double Categories

Edward Morehouse

In this paper we extend the concept of dinaturality to the setting of double categories. We introduce the dinatural versions of double-categorical transformations and modifications…

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…