Results
| Title: | Church-Rosser Theorem for sequent lambda calculi | Authors: | Ghilezan, Silvia  ; Ivetić, Jelena  ; Likaves, Silvia |
Issue Date: | 2014 | Publication: | TYPES 2014 - 20th Conference Types for Proofs and Programs, May 12-15 2014, Paris, France | Publisher: | Paris : University of Turin | Type: | Conference Paper | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4246 https://enauka.gov.rs/handle/123456789/576827 |
Availability note: | Подаци и/или пуни текст су непотпуни | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.