@article{WADLER_2014,
    doi = {10.1017/s095679681400001x},
    url = {https://doi.org/10.1017%2Fs095679681400001x},
    year = {2014},
    month = {jan},
    publisher = {Cambridge University Press ({CUP})},
    volume = {24},
    number = {2-3},
    pages = {384--418},
    author = {PHILIP WADLER},
    title = {Propositions as sessions},
    journal = {Journal of Functional Programming}
}

@article{WADLER_2014, doi = {10.1017/s095679681400001x}, url = {https://doi.org/10.1017%2Fs095679681400001x}, year = {2014}, month = {jan}, publisher = {Cambridge University Press ({CUP})}, volume = {24}, number = {2-3}, pages = {384--418}, author = {PHILIP WADLER}, title = {Propositions as sessions}, journal = {Journal of Functional Programming} }