Резултати
| Назив: | Intersection and union types in the λ̄μμ̃-calculus | Аутори: | Dougherty, Daniel; Ghilezan, Silvia  ; Lescanne, Pierre |
Година: | 2005 | Публикација: | International Workshop on intersection Types and Related Systems; 13 July 2004 through 13 July 2004 | ISSN: | 1571-0661  Претражи идентификатор |
Издавач: | Elsevier | Тип резултата: | Конференцијски рад | Колација: | str. 153-172 | DOI: | 10.1016/j.entcs.2005.06.010 | WoS-ID: | 000214091400009 | Scopus-ID: | 2-s2.0-21744460433 | URI: | https://enauka.gov.rs/handle/123456789/579411 http://researchrepository.mi.sanu.ac.rs/handle/123456789/2607 |
URL: | https://www.sciencedirect.com/science/article/pii/S1571066105050644?pes=vor&utm_source=scopus&getft_integrator=scopus | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.