| Title: | Denotational and operational preciseness of subtyping: A roadmap |
Authors: | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko |
Issue Date: | 2016 |
Publication: | 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 Search Idenfier |
Publisher: | Springer |
Type: | Conference Paper |
ISBN: | 978-3-319-30733-6 Search Idenfier |
Collation: | 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 |
Project: | 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 |
Metadata source: | Migracija |
M-category: | |
