TN
[2]. Mark Bickford, Cornell University
Formalizing Category Theory and Presheaf Models of Type Theory in Nuprl
https://arxiv.org/pdf/1806.06114.pdf
Size: a a a
2019 January 02
TN
[3]. Chuangjie Xu, University of Birmingham
A Continuous Computational Interpretation of Type Theories
http://cj-xu.github.io/ContinuityType/xu-thesis.pdf
A Continuous Computational Interpretation of Type Theories
http://cj-xu.github.io/ContinuityType/xu-thesis.pdf
TN
[4]. Thierry Coquand, Bassel Mannaa, Fabian Ruch
Stack Semantics of Type Theory
https://arxiv.org/pdf/1701.02571.pdf
Stack Semantics of Type Theory
https://arxiv.org/pdf/1701.02571.pdf
2019 January 06
TN
Котаны, нам дали право записи в ncatlab и наши либы теперь официально там!
TN
Рома, ты че, ебанат?
TN
Успокойся и иди апрувь иоейчкейный говнокод.
TN
На всех моих каналах ты забанен как неадекватный сталкер.
EZ
дежавю
A
“Impressive stubbornness”
TN
Ебануть пост по этому кейсу или забвение?
MN
Было бы интересно увидеть пост ;)
2019 January 07
TN
не быстро дела делаются
SK
о, серйозний мужик :)
2019 January 08
TN
Watch "Henk Barendregt" on YouTube
https://youtu.be/1SsUCgf1WeY
https://youtu.be/1SsUCgf1WeY
SK
клас! круте інтервью
SK
*пішов слухати Стравінського*
SK
https://www.youtube.com/watch?v=rP42C-4zL3w
я це слухаю, в коментах пишуть, що дуже канонічне виконання
я це слухаю, в коментах пишуть, що дуже канонічне виконання
