Rezultati

eNauka >  Results >  Intersection and union types in the λ̄μμ̃-calculus
Title: Intersection and union types in the λ̄μμ̃-calculus
Authors: Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre
Issue Date: 2005
Publication: International Workshop on intersection Types and Related Systems; 13 July 2004 through 13 July 2004
ISSN: 1571-0661 Search Idenfier
Publisher: Elsevier
Type: Conference Paper
Collation: 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-category: 
Mp. category will be shown later

4
SCOPUSTM
2
OpenCitations
3
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Google ScholarTM

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