Browsing eNauka
Browsing by Author Likaves, Silvia
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia   ; Ivetić, Jelena; Likaves, Silvia | Conference Paper | Mp. category will be shown later |