Резултати
Назив: | Intersection types for intuitionistic lambda-Gentzen calculus | Аутори: | Ghilezan, Silvia ; Ivetić, Jelena | Година: | 2007 | Публикација: | Publications de l Institut Mathematique, Beograd | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Претражи идентификатор | Издавач: | Mathematical Institute of the SASA | Тип резултата: | Научни чланак | Колација: | vol. 82 br. 96 str. 159-164 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4259 https://enauka.gov.rs/handle/123456789/576833 |
URL: | http://elib.mi.sanu.ac.rs/files/journals/publ/102/n096p085.pdf | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.