Autori: Downen Paul
| 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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
