Intersection and union types in the λ̄μμ̃-calculus

Rezultati

Naziv:	Intersection and union types in the λ̄μμ̃-calculus
Autori:	Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre
Godina:	2005
Publikacija:	International Workshop on intersection Types and Related Systems; 13 July 2004 through 13 July 2004
ISSN:	1571-0661 Pretraži identifikator
Izdavač:	Elsevier
Tip rezultata:	Konferencijski rad
Kolacija:	str. 153-172
DOI:	10.1016/j.entcs.2005.06.010
WoS-ID:	000214091400009
Scopus-ID:	2-s2.0-21744460433
URI:	https://enauka.gov.rs/handle/123456789/579411 http://researchrepository.mi.sanu.ac.rs/handle/123456789/2607
URL:	https://www.sciencedirect.com/science/article/pii/S1571066105050644?pes=vor&utm_source=scopus&getft_integrator=scopus
M-kategorija:	Mp kategorija će biti prikazana naknadno.

4
SCOPUS^TM

2
OpenCitations

3
WEB OF SCIENCE^TM

Alt metrika

Dimensions

Unpaywall

Google Scholar^TM

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