9 citations · 9 across the 1 of their papers we have counts for
1 paper
Klaas Pruiksma, Frank Pfenning
We present a system of session types based on adjoint logic which generalize standard binary session types. Our system allows us to uniformly capture several new behaviors in the s…