1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…