113
правок
Изменения
→См. также
==См. также==
* [[Лямбда-исчисление]]* [https://github.com/shd/logic2011 Д. Штукенберг. Лекции по математической логике]* [https://github.com/artemohanjanyan/tt-conspect Конспект лекций по теории типов]
==Источники информации==
