Relevant Categories and Partial Functions Kosta Došen; Zoran Petrić — 2007 Publications de l'Institut Mathématique
The Geometry of Self-adjunction Kosta Došen; Zoran Petrić — 2003 Publications de l'Institut Mathématique
The maximality of the typed lambda calculus and of cartesian closed categories Kosta Došen; Zoran Petrić — 2000 Publications de l'Institut Mathématique
Coherence of Proof-net Categories Kosta Došen; Zoran Petrić — 2005 Publications de l'Institut Mathématique