1 paper
Jens Aagaard, Hans Hüttel, Mathias Jakobsen +1
We present a binary session type system using context-free session types to a version of the applied pi-calculus of Abadi et. al. where only base terms, constants and channels can…