113
правок
Изменения
См. также, источники и категории
и тип <tex>T</tex> всем остальным переменным терма <tex>t</tex>, и получить такой типизируемый в <tex>\Gamma</tex> терм <tex>t'</tex>, который является объектом и <tex>t = \left|t'\right|</tex>.
}}
==См. также==
[[Лямбда-исчисление]]
==Источники информации==
* Gilles Dowek, The undecidability of typability in the Lambda-Pi-calculus
[[Категория: Теория формальных языков]]
[[Категория: Теория вычислимости]]
[[Категория: Примеры неразрешимых задач]]
