A categorical approach to linear logic, geometry of proofs and full completeness (2000)

by Esfandiar Haghverdi