Browsing eNauka
Browsing by Project Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics
Showing results 1 to 5 of 5
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   ; Likavec, Silvia | Article | 22M22 |
| 2002 | Coherence in substructural categories | Petrić, Zoran | Article | Mp. category will be shown later |
| 2006 | Models of deduction | Došen, Kosta | Article | 22M22 |
| 2003 | Self-adjunctions and matrices | 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 |