From proof nets to the free *- autonomous category (2005)
Cached
Download Links
by
François Lamarche
,
Lutz Strassburger
| Venue: | Logical Methods in Computer Science, 2(4:3):1–44, 2006. Available from: http://arxiv.org/abs/cs/0605054. [McK05] Richard McKinley. Classical categories and deep inference. In Structures and Deduction 2005 (Satellite Workshop of ICALP’05 |
| Citations: | 18 - 6 self |
BibTeX
@INPROCEEDINGS{Lamarche05fromproof,
author = {François Lamarche and Lutz Strassburger},
title = {From proof nets to the free *- autonomous category},
booktitle = {Logical Methods in Computer Science, 2(4:3):1–44, 2006. Available from: http://arxiv.org/abs/cs/0605054. [McK05] Richard McKinley. Classical categories and deep inference. In Structures and Deduction 2005 (Satellite Workshop of ICALP’05},
year = {2005}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Vol. 2 (4:3) 2006, pp. 1–44 www.lmcs-online.org
