Vladimir Voevodsky · 2009 | ChronoCite

ChronoCite

Public figure timelines

Explore Browse Compare Alerts Methodology About

ChronoCite shows short excerpts with live and archived source links. Full pages are not republished.

Site RSS · Sitemap · How sourcing works · About · Copyright · support@chronocite.org

Vladimir Voevodsky · 2009 | ChronoCite

← Vladimir Voevodsky timeline

2009Source gives the year onlyDocumented record66% confidence

Vladimir Voevodsky

Constructed the univalent model of Martin-Löf type theory in simplicial sets

WikipediaTrusted source1 sourceLive source Archived

Text from Wikipedia, available under CC BY-SA 4.0.

#wikipedia
#event

Captured 2026-08-18 from Wikipedia. The archived copy is preserved so this citation survives link rot.