Results
| Naziv: | The “Relevance” of intersection and union types | Autori: | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   ; Venneri, Betti |
Godina: | 1997 | Publikacija: | Notre Dame Journal of Formal Logic | ISSN: | 0029-4527 Notre Dame Journal of Formal Logic Pretraži identifikator |
Izdavač: | University of Notre Dame | Tip rezultata: | Naučni članak | Kolacija: | vol. 38 br. 2 str. 246-269 | DOI: | 10.1305/ndjfl/1039724889 | Scopus-ID: | 2-s2.0-0005666858 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2616 https://enauka.gov.rs/handle/123456789/579420 |
M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.