Results
| Naziv: | Lambda calculi with intersection types | Autori: | Ghilezan, Silvia   |
Godina: | 1991 | Publikacija: | International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden (1991) | Tip rezultata: | Konferencijski rad | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/5166 https://enauka.gov.rs/handle/123456789/930872 |
Napomena o dostupnosti: | На основу доступних података није могуће утврдити да ли резултат постоји | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.