Category theory for linear logicians

By R. Blute, P. Scott. 2004

62 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/5e4e52acc299ecd4322f252c2cc8706081d79320