9 citations · 26 across the 9 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…