Craig A. Pastro

According to our database¹, Craig A. Pastro authored at least 3 papers between 2003 and 2009.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2009

The logic of message-passing.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

2004

A Language For Multiplicative-additive Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

2003

\Sigma\Pi-polycategories, additive linear logic, and process semantics

[BibT_eX]

[DOI]

CoRR, 2003