Search




Research outputs

Coherence for monoidal monads and comonads   [2010]

Došen, Kosta  ; Petrić, Zoran  

Coherence for monoidal endofunctors   [2010]

Došen, Kosta  ; Petrić, Zoran  

On permuting cut with contraction   [2000]

Borisavljević, Mirjana  ; Došen, Kosta  ; Petrić, Zoran

Isomorphic objects in symmetric monoidal closed categoriest   [1997]

Došen, Kosta  ; Petrić, Zoran  

Premonoidal and Kleisli double categories   [2026]

Femic, Bojana

Shuffles and concatenations in the construction of graphs   [2012]

Došen, Kosta  ; Petrić, Zoran  

Linked data privacy   [2015]

Jakšić, Svetlana ; Pantović, Jovanka  ; Gilezan, Silvia  

Plugging-in proof development environments using Locks in LF   [2018]

Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan

Formalising PFSQL queries using ŁΠ fuzzy logic   [2011]

Perović, Aleksandar  ; Takači, Aleksandar  ; Škrbić, Srđan

Isomorphic objects in symmetric monoidal closed categories   [1997]

Došen, Kosta  ; Petrić, Zoran

Filters

By type