2007 | ||
---|---|---|
3 | EE | J. Robin B. Cockett, Craig A. Pastro: The logic of message passing CoRR abs/math/0703713: (2007) |
2005 | ||
2 | EE | J. Robin B. Cockett, Craig A. Pastro: A Language For Multiplicative-additive Linear Logic. Electr. Notes Theor. Comput. Sci. 122: 23-65 (2005) |
2003 | ||
1 | EE | Craig A. Pastro: \Sigma\Pi-polycategories, additive linear logic, and process semantics CoRR math.CT/0312422: (2003) |
1 | J. Robin B. Cockett | [2] [3] |