The American Mathematical Society wrote a memorial notice on Vladimir Voevodsky where, among others, his contributions to type theory are considered.

## Notice of AMS: Vladimir Voevodsky

### Status

Reply

Reply

The American Mathematical Society wrote a memorial notice on Vladimir Voevodsky where, among others, his contributions to type theory are considered.

If you’re a programmer and you want to understand what is homotopy type theory about, Dan Licata has a talk on the topic.