Резултати
Назив: | Towards probabilistic reasoning about lambda terms with intersection types | Аутори: | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; SAVIĆ, NENAD D. | Година: | 2016 | Публикација: | 22nd International Conference on Types for Proofs and Programs, TYPES 2016, | Издавач: | Univerziet Novi Sad, Srbija | Тип резултата: | Конференцијски рад | Колација: | str. 1-2 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3050 https://enauka.gov.rs/handle/123456789/563458 |
URL: | http://www.types2016.uns.ac.rs/ | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.