Craig A. Pastro

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

J. Robin B. Cockett, Craig A. Pastro
The logic of message-passing. Sci. Comput. Program. 74 (8) (2009)
J. Robin B. Cockett, Craig A. Pastro
The logic of message passing CoRR (2007)
J. Robin B. Cockett, Craig A. Pastro
A Language For Multiplicative-additive Linear Logic. CTCS (2004)
Craig A. Pastro
\Sigma\Pi-polycategories, additive linear logic, and process semantics CoRR (2003)