DMCA

Session Types as Intuitionistic Linear Propositions

Cached

Download Links

by Luís Caires , Frank Pfenning
Citations:57 - 17 self