Researchers
Došen, Kosta
Results 61-80 of 221
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2005 | Negation and involutive adjunctions | Došen, Kosta   | Book parts | Mp. category will be shown later |
| 2005 | Coherence of Proof-Net Categories | Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |
| 2004 | Proof-Theoretical Coherence | Došen, Kosta ; Petrić, Zoran | Monograph | Mp. category will be shown later |
| 2003 | Self-adjunctions and matrices | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2003 | Generality of proofs and its brauerian representation | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2003 | The geometry of self-adjunction | Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |
| 2003 | A Brauerian representation of split preorders | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2003 | IDentity Of Proofs Based On Normalization And Generality | Došen, Kosta | Article | 21M21 |
| 2002 | Kauffman monoids | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2002 | Bicartesian coherence | Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |
| 2001 | Greg Restall, "An Introduction to Substructural Logics" - Routledge, London, 2000 | Došen, Kosta | Contribution to periodical | 21M21 |
| 2001 | The maximility of Cartesian categories | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2001 | Coherent bicartesian and sesquicartesian categories | Došen, Kosta ; Petrić, Zoran | Conference Paper | Mp. category will be shown later |
| 2001 | The typed Böhm theorem | Došen, Kosta ; Petrić, Zoran | Conference Paper | Mp. category will be shown later |
| 2001 | The maximality of cartesian categories | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2001 | A note on the set-theoretic representation of arbitrary lattices | Došen, Kosta | Book parts | Mp. category will be shown later |
| 2001 | Coherent bicartesian and sesquicartesian categories | Došen, Kosta ; Petrić, Zoran | Article | 21M21 |
| 2001 | The Typed Böhm Theorem | Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |
| 2001 | Abstraction and application in adjunction | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2000 | The maximality of the typed lambda calculus and of cartesian closed categories | Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |