Резултати
| Назив: | Proof Theory: Applications | Аутори  : | Ghilezan, Silvia  |
Година: | 2013 | Публикација: | Lambda Calculus with Types | Издавач: | Cambridge University Press | Тип резултата: | Поглавље у монографији | Колација: | str. 323-376 | DOI: | 10.1017/CBO9781139032636.010 | Scopus-ID: | 2-s2.0-84922988244 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2597 https://enauka.gov.rs/handle/123456789/579406 |
Напомена о доступности: | Пуни текст није јавно доступан | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.