A categorical approach to linear logic, geometry of proofs and full completeness.

By Esfandiar Haghverdi. 2000

73 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/5277dd1bc191d5d4f7a8b93f337267d96fb44754