Гомотопическая теория типов на пальцах.

[deep_econom]

Гомотопическая теория типов в более продвинутых формах.
http://dxdy.ru/topic121326.html