andreyyao.github.io/blog/2023-10-13-categorical-semantics-stlc

Preview meta tags from the andreyyao.github.io website.

Linked Hostnames

6

Thumbnail

Search Engine Appearance

Google

https://andreyyao.github.io/blog/2023-10-13-categorical-semantics-stlc

Categorical Semantics of Simply Typed Lambda Calculus | Andrey Yao

The Curry-Howard-Lambek correspondence



Bing

Categorical Semantics of Simply Typed Lambda Calculus | Andrey Yao

https://andreyyao.github.io/blog/2023-10-13-categorical-semantics-stlc

The Curry-Howard-Lambek correspondence



DuckDuckGo

https://andreyyao.github.io/blog/2023-10-13-categorical-semantics-stlc

Categorical Semantics of Simply Typed Lambda Calculus | Andrey Yao

The Curry-Howard-Lambek correspondence

  • General Meta Tags

    17
    • title
      Categorical Semantics of Simply Typed Lambda Calculus | Andrey Yao
    • charset
      UTF-8
    • viewport
      width=device-width
    • generator
      Astro v4.16.16
    • title
      Categorical Semantics of Simply Typed Lambda Calculus | Andrey Yao

  • Open Graph Meta Tags

    4
    • og:title
      Categorical Semantics of Simply Typed Lambda Calculus | Andrey Yao
    • og:description
      The Curry-Howard-Lambek correspondence
    • og:url
      https://andreyyao.github.io/blog/2023-10-13-categorical-semantics-stlc/
    • og:image
      https://andreyyao.github.io/blog/categorical-semantics-of-simply-typed-lambda-calculus.png

  • Link Tags

    8
    • canonical
      https://andreyyao.github.io/blog/2023-10-13-categorical-semantics-stlc/
    • icon
      /favicon.svg
    • preconnect
      https://fonts.googleapis.com
    • preconnect
      https://fonts.gstatic.com
    • sitemap
      /sitemap-index.xml

Emails

1

Links

13