Autori: Ariola Zena M
Naslov | The Duality of Classical Intersection and Union Types (Article) |
Autori | Downen Paul Ariola Zena M Ghilezan Silvia |
Info | FUNDAMENTA INFORMATICAE, (2019), vol. 170 br. 1-3, str. 39-92 |
Projekat | National Science Foundation (NSF) [CCF-1423617, CCF-1719158] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |