9 citations · 22 across the 11 of their papers we have counts for
1 paper · 1 filter
Bernardo Toninho, Nobuko Yoshida
This work exploits the logical foundation of session types to determine what kind of type discipline for the pi-calculus can exactly capture, and is captured by, lambda-calculus be…