Rezultati
| Naziv: | Towards probabilistic reasoning about typed lambda terms | Autori: | Gilezan, Silvia K.   ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Zoran Ognjanović ; Nenad Savić |
Godina: | 2018 | Publikacija: | 24th International Conference on Types for Proofs and Programs, TYPES 2018 | Izdavač: | Centro de Matematica, University of Minho | Tip rezultata: | Konferencijski rad | Kolacija: | str. 41-42 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4223 https://enauka.gov.rs/handle/123456789/163155 |
URL: | https://types2018.projj.eu/wp-content/uploads/2018/06/BookOfAbstractsTYPES2018.pdf | Izvor metapodataka: | Migracija | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.