Search




Research outputs

Intuitionistic sequent-style calculus with explicit structural rules   [2011]

Gilezan, Silvia  ; Žunić, Dragiša  ; Ivetić, Jelena  ; Lescanne, Pierre

Filters

By type