Rezultati

eNauka >  Rezultati >  Intersection types for explicit substitution with resource control
Naziv: Intersection types for explicit substitution with resource control
Autori: Ivetić, Jelena  ; Silvia Gilezan  ; Pierre Lescanne; Silvia Likavec  
Godina: 2012
Publikacija: The Sixth Workshop on Intersection Types and Related Systems – ITRS 2012 -
Izdavač: Torino: University of Torino
Tip rezultata: Konferencijski rad
Kolacija: vol. 6 str. 1-9
URI: https://enauka.gov.rs/handle/123456789/500212
http://researchrepository.mi.sanu.ac.rs/handle/123456789/4253
URL: https://iris.unito.it/retrieve/handle/2318/133236/178883/main_itrs_2012.pdf
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Google ScholarTM

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