Homotopy Type Theory
Skip to content
Home
Blog
Code
Events
Links
References
The Book
←
A hands-on introduction to cubicaltt
Impredicative Encodings of Inductive Types in HoTT
→
In memoriam: Vladimir Voevodsky
Posted on
1 October 2017
by
Steve Awodey
https://www.ias.edu/news/2017/vladimir-voevodsky
Share this:
Click to share on X (Opens in new window)
X
Click to share on Facebook (Opens in new window)
Facebook
Like
Loading...
Related
This entry was posted in
Uncategorized
. Bookmark the
permalink
.
←
A hands-on introduction to cubicaltt
Impredicative Encodings of Inductive Types in HoTT
→
Leave a comment
Cancel reply
Δ
Recent Posts
Workshop on Synthetic Algebraic Geometry
HoTT 2023
The Brunerie Number Is -2
On the ∞-topos semantics of homotopy type theory
The HoTT Game
Categories
Applications
Code
Foundations
Higher Inductive Types
Homotopy Theory
Jobs
Meeting
Models
News
Paper
Programming
Publicity
Support
Talk
Uncategorized
Univalence
Archives
October 2023
January 2023
June 2022
March 2022
December 2021
March 2021
January 2021
November 2020
October 2020
January 2020
May 2019
March 2019
February 2019
December 2018
November 2018
August 2018
June 2018
May 2018
March 2018
November 2017
October 2017
September 2017
January 2017
October 2016
September 2016
July 2016
February 2016
January 2016
December 2015
September 2015
August 2015
July 2015
June 2015
January 2015
December 2014
November 2014
September 2014
August 2014
June 2014
April 2014
March 2014
February 2014
December 2013
October 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
November 2012
September 2012
August 2012
June 2012
May 2012
April 2012
March 2012
January 2012
December 2011
November 2011
July 2011
April 2011
March 2011
Blogroll
Existential Type
Mathematics and Computation
The n-Category Café
Univalent Foundations
Meta
Create account
Log in
Entries feed
Comments feed
WordPress.com
Search for:
Comment
Reblog
Subscribe
Subscribed
Homotopy Type Theory
Join 297 other subscribers
Sign me up
Already have a WordPress.com account?
Log in now.
Homotopy Type Theory
Subscribe
Subscribed
Sign up
Log in
Copy shortlink
Report this content
View post in Reader
Manage subscriptions
Collapse this bar
Loading Comments...
Write a Comment...
Email (Required)
Name (Required)
Website
%d