3 citations · 3 across the 1 of their papers we have counts for
1 paper
Coşku Acay, Frank Pfenning
Prior work has extended the deep, logical connection between the linear sequent calculus and session-typed message-passing concurrent computation with equi-recursive types and a na…