| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Došen, Kosta | en |
| dc.contributor.author | Petrić, Zoran | en |
| dc.date.accessioned | 2020-04-12T18:10:34Z | - |
| dc.date.available | 2020-04-12T18:10:34Z | - |
| dc.date.issued | 2006-01-01 | en |
| dc.identifier.issn | 0168-0072 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/341 | - |
| dc.description.abstract | This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly and Mac Lane's coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial cut-elimination result, which is presented in some detail. | en |
| dc.publisher | Elsevier | - |
| dc.relation.ispartof | Annals of Pure and Applied Logic | en |
| dc.subject | Categorial coherence | Cut elimination | Star-autonomous categories | Symmetric monoidal closed categories | en |
| dc.title | Coherence for star-autonomous categories | en |
| dc.type | Article | en |
| dc.identifier.doi | 10.1016/j.apal.2005.11.003 | en |
| dc.identifier.scopus | 2-s2.0-33646598399 | en |
| dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
| dc.relation.firstpage | 225 | en |
| dc.relation.lastpage | 242 | en |
| dc.relation.issue | 1-2 | en |
| dc.relation.volume | 141 | en |
| dc.description.rank | M22 | - |
| item.fulltext | No Fulltext | - |
| item.openairetype | Article | - |
| item.grantfulltext | none | - |
| item.cerifentitytype | Publications | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| crisitem.author.orcid | 0000-0003-2049-9892 | - |
SCOPUSTM
Citations
2
checked on Apr 2, 2025
Page view(s)
22
checked on Jan 30, 2025
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.