C. A. Pastro

Identifiers

No identifiers captured yet.

Papers (2)

1. On the complexity of Cockett-Seely polarized games math.CT · 2004 · author #2
2. \Sigma\Pi-polycategories, additive linear logic, and process semantics math.CT · 2003 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• J. R. B. Cockett 1 shared papers