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

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