Edinburgh Research Archive

First order linear logic in symmetric monoidal closed categories

Files

Ambler1991.Pdf (71.82 MB)

Item Status

Embargo End Date

Date

1991

Authors

Abstract

URI

http://hdl.handle.net/1842/11974

This item appears in the following Collection(s)

Informatics thesis and dissertation collection