Results

eNauka >  Results >  Intersection types for explicit substitution with resource control
Title: Intersection types for explicit substitution with resource control
Authors: Ivetić, Jelena  ; Silvia Gilezan  ; Pierre Lescanne; Silvia Likavec  
Issue Date: 2012
Publication: The Sixth Workshop on Intersection Types and Related Systems – ITRS 2012 -
Publisher: Torino: University of Torino
Type: Conference Paper
Collation: 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
Metadata source: Migrirano iz RIS podataka
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.