1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Chris Heunen, Jesse Sigal
Freyd categories provide a semantics for first-order effectful programming languages by capturing the two different orders of evaluation for products. We enrich Freyd categories in…