5 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Mike Stay, Lucius Gregory Meredith
We present an algorithm for deriving a spatial-behavioral type system from a formal presentation of a computational calculus. Given a 2-monad Calc: Catv→ Cat for the free calcu…