homotopytypetheory.org/links
Preview meta tags from the homotopytypetheory.org website.
Linked Hostnames
25- 100 links tohomotopytypetheory.org
- 7 links togolem.ph.utexas.edu
- 7 links towordpress.com
- 6 links toncatlab.org
- 5 links tovideo.ias.edu
- 4 links toexistentialtype.wordpress.com
- 2 links togroups.google.com
- 2 links tohome.sandiego.edu
Thumbnail
Search Engine Appearance
Links
Introductory videos, talks, and blog posts A series of introductory talks on the Univalent Foundations Program were given at the IAS in December 2010. The talks can be viewed here, and among them are the following talks: Steve Awodey, "Constructive type theory and homotopy". Andrew Appel, "Introduction to the Coq proof assistant". Vladimir Voevodsky, "Univalent foundations…
Bing
Links
Introductory videos, talks, and blog posts A series of introductory talks on the Univalent Foundations Program were given at the IAS in December 2010. The talks can be viewed here, and among them are the following talks: Steve Awodey, "Constructive type theory and homotopy". Andrew Appel, "Introduction to the Coq proof assistant". Vladimir Voevodsky, "Univalent foundations…
DuckDuckGo
https://homotopytypetheory.org/linksLinks
Introductory videos, talks, and blog posts A series of introductory talks on the Univalent Foundations Program were given at the IAS in December 2010. The talks can be viewed here, and among them are the following talks: Steve Awodey, "Constructive type theory and homotopy". Andrew Appel, "Introduction to the Coq proof assistant". Vladimir Voevodsky, "Univalent foundations…
General Meta Tags
10- titleLinks | Homotopy Type Theory
- charsetUTF-8
- robotsmax-image-preview:large
- generatorWordPress.com
- article:published_time2011-03-13T05:26:45+00:00
Open Graph Meta Tags
10- og:typearticle
- og:titleLinks
- og:urlhttps://homotopytypetheory.org/links/
- og:descriptionIntroductory videos, talks, and blog posts A series of introductory talks on the Univalent Foundations Program were given at the IAS in December 2010. The talks can be viewed here, and among them a…
- og:site_nameHomotopy Type Theory
Twitter Meta Tags
3- twitter:text:titleLinks
- twitter:imagehttps://secure.gravatar.com/blavatar/17cafeb69ca3ce791373a3386099f92e03dd0f03b76a53292d670a553cc609e6?s=240
- twitter:cardsummary
Link Tags
30- EditURIhttps://hottheory.wordpress.com/xmlrpc.php?rsd
- alternatehttps://homotopytypetheory.org/feed/
- alternatehttps://homotopytypetheory.org/comments/feed/
- alternatehttps://homotopytypetheory.org/links/feed/
- alternatehttps://public-api.wordpress.com/oembed/?format=json&url=https%3A%2F%2Fhomotopytypetheory.org%2Flinks%2F&for=wpcom-auto-discovery
Links
156- http://existentialtype.wordpress.com
- http://existentialtype.wordpress.com/2011/05/30/higher-dimensional-type-theory
- http://existentialtype.wordpress.com/2011/05/30/transformations-as-strict-groupoids
- http://existentialtype.wordpress.com/2011/06/07/types-and-cells
- http://golem.ph.utexas.edu/category