| Naziv: | Denotational and operational preciseness of subtyping: A roadmap |
Autori: | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko |
Godina: | 2016 |
Publikacija: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
ISSN: | 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator |
Izdavač: | Springer |
Tip rezultata: | Konferencijski rad |
ISBN: | 978-3-319-30733-6 Pretraži identifikator |
Kolacija: | str. 155-172 |
DOI: | 10.1007/978-3-319-30734-3_12 |
Scopus-ID: | 2-s2.0-84962568910 |
URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2586
https://enauka.gov.rs/handle/123456789/521122 |
URL: | https://www.di.unito.it/~dezani/papers/dgjpy16.pdf
https://scispace.com/pdf/denotational-and-operational-preciseness-of-subtyping-a-23yx1c3zsh.pdf
https://link.springer.com/chapter/10.1007/978-3-319-30734-3_12 |
Projekat: | COST IC1201 BETTY, IC1402 ARVI and DART
Representations of logical structures and formal languages and their application in computing
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
EPSRC EP/K011715/1, EP/K034413/1, and EP/L00058X/1 |
Izvor metapodataka: | Migracija |
M-kategorija: | |
