First order linear logic in symmetric monoidal closed categories
There has recently been considerable interest in the development of 'logical frameworks' which can represent many of the logics arising in computer science in a uniform way. Within the Edinburgh LF project, this concept is split into two components; the first being a general proof theoreti...
| Main Author: | |
|---|---|
| Published: |
University of Edinburgh
1991
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640450 |