1. Proofs as processes
2. R.
Atkey S.
Lindley and
J. G.
Morris
.
Conflation confers concurrency. In S. Lindley C. McBride P. W. Trinder and D. Sannella editors A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday volume
9600
of
Lecture Notes in Computer Science pages 32–
55
. Springer 2016. R. Atkey S. Lindley and J. G. Morris. Conflation confers concurrency. In S. Lindley C. McBride P. W. Trinder and D. Sannella editors A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday volume 9600 of Lecture Notes in Computer Science pages 32–55. Springer 2016.
3. Least and Greatest Fixed Points in Linear Logic
4. On the π-calculus and linear logic