| Назив: | Denotational and operational preciseness of subtyping: A roadmap |
Аутори: | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko |
Година: | 2016 |
Публикација: | 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 Претражи идентификатор |
Издавач: | Springer |
Тип резултата: | Конференцијски рад |
ISBN: | 978-3-319-30733-6 Претражи идентификатор |
Колација: | 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 |
Пројекат: | 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 |
Извор метаподатака: | Migracija |
М-категорија: | |
