Date: 2013-06-29 06:39 am (UTC)
Книжку только что выложили для широкой публики. Мнений о ней пока слышать не доводилось. Я лично собираюсь почитать, но пока ещё не...

По отношению к новым основаниям пока приходилось сталкиваться только со скептицизмом. Но безусловно тот факт что теория типов аксиоматизирует гомотопическую категорию вызывет живейший интерес и требует тщательного обдумывания.
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

Profile

siyuv: (Default)
siyuv

June 2024

S M T W T F S
      1
2345678
9101112131415
16171819202122
232425262728 29
30      

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 10th, 2025 06:46 pm
Powered by Dreamwidth Studios