6 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
James Laird
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order -- the e…