Резултати
| Назив: | Towards Completeness of Full Simply Typed Lambda Calculus | Аутори: | Ghilezan, Silvia   ; Kašterović, Simona |
Година: | 2020 | Публикација: | EUTYPES-TYPES2020 | Издавач: | University of Turin | Тип резултата: | Конференцијски рад | Колација: | str. 164-166 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4218 https://enauka.gov.rs/handle/123456789/576812 |
URL: | https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf | Напомена: | Verifikacija urađena na osnovu uvida u abstrakt | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.