Резултати
Назив: | Towards probabilistic reasoning about typed lambda terms | Аутори: | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Zoran Ognjanović ; Nenad Savić | Година: | 2018 | Публикација: | 24th International Conference on Types for Proofs and Programs, TYPES 2018 | Издавач: | Centro de Matematica, University of Minho | Тип резултата: | Конференцијски рад | Колација: | 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 | Извор метаподатака: | Migracija | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.