Резултати

еНаука >  Резултати >  A journey through resource control lambda calculi and explicit substitution using intersection types
Назив: A journey through resource control lambda calculi and explicit substitution using intersection types
Аутори: Ghilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  
Година: 2012
Публикација: arXiv
ISSN: 2331-8422 Претражи идентификатор
Издавач: Cornell University
Тип резултата: Научни чланак
DOI: 10.48550/arXiv.1306.2283
URI: https://enauka.gov.rs/handle/123456789/920451
URL: https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=2f13ed5a542b9e8704b61429c207170274619c2b
М-категорија: 
Мп категорија ће бити приказана накнадно.

Алт метрика
Dimensions

Пронађи DOI
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.