Rezultati

eNauka >  Rezultati >  A journey through resource control lambda calculi and explicit substitution using intersection types
Naziv: A journey through resource control lambda calculi and explicit substitution using intersection types
Autori: Ghilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  
Godina: 2012
Publikacija: arXiv
ISSN: 2331-8422 Pretraži identifikator
Izdavač: Cornell University
Tip rezultata: Naučni članak
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
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Alt metrika
Dimensions

Pronađi DOI
Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.