C. A. Pastro

From MaRDI portal
Person:2849876

Available identifiers

zbMath Open pastro.c-aMaRDI QIDQ2849876

List of research outcomes





PublicationDate of PublicationType
A language for multiplicative-additive linear logic2013-09-20Paper
On the complexity of Cockett-Seely polarized games2004-02-26Paper

Research outcomes over time

This page was built for person: C. A. Pastro