Pronađeno: 1-1 / 1 radova

Autori: Ariola Zena M

>> Filter: Samo Article i Review

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  
Ispis zapisa u formatu:TXT | BibTeX