1. Propositions as sessions*. Issue 2 (31st January 2014) Authors: WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 384 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Propositions as sessions*. Issue 2 (May 2014) Authors: WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 384 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗