Propositions as Sessions (2012)

Cached

Download Links

by Philip Wadler
Citations:7 - 0 self