Browsing by Author Došen, Kosta
Showing results 65 to 68 of 68
< previous
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Došen, Kosta ; Petrić, Zoran | The geometry of self-adjunction | 2003 | Publications de l'Institut Mathématique; 73(87); 1-29 | M24 |
| Došen, Kosta ; Petrić, Zoran | The maximality of the typed lambda calculus and of cartesian closed categories | 2000 | Publications de l'Institut Mathématique; 68(82); 1-19 | M24 |
| Došen, Kosta ; Petrić, Zoran | The typed Böhm theorem | 1-Jan-2001 | Electronic Notes in Theoretical Computer Science; BOTH 2001, Bohm's Theorem: Applications to Computer Science Theory (Satellite Workshop of ICALP 2001); Crete; Greece; 13 July 2001 through 13 July 2001; 50(2); 117-129 | |
| Došen, Kosta ; Petrić, Zoran | Weak cat-operads | 25-Mar-2015 | Logical Methods in Computer Science; 11(1) | M22 |