Propositions as sessions (2012)

by Philip Wadler
Venue:In International Conference on Functional Programming (ICFP