У нас есть замечательные люди!

[nivanych]

Чотта, вот. наткнулся.
Он удостоился внимания знаменитой ncat-lab!
http://ncatlab.org/nlab/show/Vladimir+Voevodsky
;-)
Выражаю своё почтение, что-ли...

Comments

[cadadr]

Если что, то вот тут про "homotopy lambda-calculus":
http://www.math.ias.edu/~vladimir/Site3/home.html
http://golem.ph.utexas.edu/category/2006/10/voevodsky_on_the_homotopy_calc.html

А вот тут запись доклада "Foundations of Mathematics and Homotopy Theory":
http://video.ias.edu/node/68

Я подумал, что вам должно понравиться, если еще не видели.

[nivanych]

Спасибо!! Очень интересно!!