arxiv.org/abs/1610.00328v3

Preview meta tags from the arxiv.org website.

Linked Hostnames

26

Thumbnail

Search Engine Appearance

Google

https://arxiv.org/abs/1610.00328v3

On the Preciseness of Subtyping in Session Types

Abstract page for arXiv paper 1610.00328v3: On the Preciseness of Subtyping in Session Types



Bing

On the Preciseness of Subtyping in Session Types

https://arxiv.org/abs/1610.00328v3

Abstract page for arXiv paper 1610.00328v3: On the Preciseness of Subtyping in Session Types



DuckDuckGo

https://arxiv.org/abs/1610.00328v3

On the Preciseness of Subtyping in Session Types

Abstract page for arXiv paper 1610.00328v3: On the Preciseness of Subtyping in Session Types

  • General Meta Tags

    20
    • title
      [1610.00328v3] On the Preciseness of Subtyping in Session Types
    • title
      open search
    • title
      open navigation menu
    • title
      contact arXiv
    • title
      subscribe to arXiv mailings

  • Open Graph Meta Tags

    10
    • og:type
      website
    • og:site_name
      arXiv.org
    • og:title
      On the Preciseness of Subtyping in Session Types
    • og:url
      https://arxiv.org/abs/1610.00328v3
    • og:image
      /static/browse/0.3.4/images/arxiv-logo-fb.png

  • Twitter Meta Tags

    6
    • twitter:site
      @arxiv
    • twitter:card
      summary
    • twitter:title
      On the Preciseness of Subtyping in Session Types
    • twitter:description
      Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. The correctness of subtyping relations has been usually provided as...
    • twitter:image
      https://static.arxiv.org/icons/twitter/arxiv-logo-twitter-square.png

  • Link Tags

    12
    • apple-touch-icon
      /static/browse/0.3.4/images/icons/apple-touch-icon.png
    • canonical
      https://arxiv.org/abs/1610.00328
    • icon
      /static/browse/0.3.4/images/icons/favicon-32x32.png
    • icon
      /static/browse/0.3.4/images/icons/favicon-16x16.png
    • manifest
      /static/browse/0.3.4/images/icons/site.webmanifest

Links

71