dx.doi.org/10.1007/978-3-319-30734-3_12
Preview meta tags from the dx.doi.org website.
Linked Hostnames
21- 38 links toscholar.google.com
- 23 links tolink.springer.com
- 15 links towww.emis.de
- 13 links todoi.org
- 13 links towww.ams.org
- 11 links towww.springernature.com
- 10 links todx.doi.org
- 5 links toscholar.google.co.uk
Thumbnail
Search Engine Appearance
Denotational and Operational Preciseness of Subtyping: A Roadmap
The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in object-oriented programming languages. The soundness and the completeness, together referred to as the preciseness of...
Bing
Denotational and Operational Preciseness of Subtyping: A Roadmap
The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in object-oriented programming languages. The soundness and the completeness, together referred to as the preciseness of...
DuckDuckGo
https://dx.doi.org/10.1007/978-3-319-30734-3_12Denotational and Operational Preciseness of Subtyping: A Roadmap
The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in object-oriented programming languages. The soundness and the completeness, together referred to as the preciseness of...
General Meta Tags
38- titleDenotational and Operational Preciseness of Subtyping: A Roadmap | SpringerLink
- charsetUTF-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width, initial-scale=1
- applicable-devicepc,mobile
Open Graph Meta Tags
6- og:urlhttps://link.springer.com/chapter/10.1007/978-3-319-30734-3_12
- og:typePaper
- og:site_nameSpringerLink
- og:titleDenotational and Operational Preciseness of Subtyping: A Roadmap
- og:descriptionThe notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in object-oriented programming languages. The soundness and the completeness, together referred to as the preciseness of...
Twitter Meta Tags
6- twitter:siteSpringerLink
- twitter:cardsummary
- twitter:image:altContent cover image
- twitter:titleDenotational and Operational Preciseness of Subtyping: A Roadmap
- twitter:descriptionThe notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in object-oriented programming languages. The soundness and the completeness, together referred to as the preciseness of...
Item Prop Meta Tags
3- position1
- position2
- position3
Link Tags
9- apple-touch-icon/oscar-static/img/favicons/darwin/apple-touch-icon-6ef0829b9c.png
- canonicalhttps://link.springer.com/chapter/10.1007/978-3-319-30734-3_12
- icon/oscar-static/img/favicons/darwin/android-chrome-192x192.png
- icon/oscar-static/img/favicons/darwin/favicon-32x32.png
- icon/oscar-static/img/favicons/darwin/favicon-16x16.png
Emails
1Links
150- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Jovanka%20Pantovi%C4%87%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Mariangiola%20Dezani-Ciancaglini%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Nobuko%20Yoshida%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Silvia%20Ghilezan%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Svetlana%20Jak%C5%A1i%C4%87%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en