Browsing by Author Došen, Kosta

Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 65 to 68 of 68 < previous 
Author(s)TitleIssue DateAppears inRank
Došen, Kosta ; Petrić, Zoran The geometry of self-adjunction2003Publications de l'Institut Mathématique; 73(87); 1-29M24
Došen, Kosta ; Petrić, Zoran The maximality of the typed lambda calculus and of cartesian closed categories2000Publications de l'Institut Mathématique; 68(82); 1-19M24
Došen, Kosta ; Petrić, Zoran The typed Böhm theorem1-Jan-2001Electronic 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-operads25-Mar-2015Logical Methods in Computer Science; 11(1)M22