Linear logic, -autonomous categories and cofree coalgebras (1989) [91 citations — 9 self]
by R. A. G. Seely
In Categories in Computer Science and Logic
http://www.math.mcgill.ca/rags/nets/llsac.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Seely89linearlogic,,author = {R. A. G. Seely},
title = {Linear logic, -autonomous categories and cofree coalgebras},
booktitle = {In Categories in Computer Science and Logic},
year = {1989},
pages = {371--382},
publisher = {American Mathematical Society}
}
Years of Citing Articles
Abstract:
ABSTRACT. A brief outline of the categorical characterisation of Girard's linear logic is given, analagous to the relationship between cartesian closed categories and typed-calculus. The linear structure amounts to a-autonomous
Citations
| 518 | Categories for the Working Mathematician – Lane - 1971 |
| 479 | On the unity of logic – Girard - 1993 |
| 302 | Introduction to Higher Order Categorical Logic – Lambek, Scott - 1986 |
| 117 | The System F of Variable Types, Fifteen years later. Theoretical Computer Science,45:159-192 – Girard - 1986 |
| 101 | Traced monoidal categories – Joyal, Street, et al. - 1996 |
| 85 | Lambda -Autonomous Categories – Barr - 1979 |
| 13 | Hyperdoctrines, natural deduction and the beck conditions. Zeitschr. f. math. Logik und Grundlagen d – Seely - 1983 |
| 11 | Multicategories revisited – Lambek - 1989 |
| 6 | Deductive systems and categories II – Lambek - 1969 |
| 1 | Linear logic and lazy computation", preprint – Girard, Lafont - 1987 |
| 1 | The Dialectica interpretation category – Paiva - 1987 |
| 1 | Polycategories – Szabo - 1975 |
