Lineales: Algebras and Categories in the Semantics of Linear Logic (2002)

by V de Paiva
Venue:the Proceedings of LLC8