Adjoint Logic and Its Concurrent Operational Interpretation [pdf]cs.cmu.edu2 pointsadamnemecek7 years ago