Декартово замкнутая категория: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
VEW (обсуждение | вклад)
VEW (обсуждение | вклад)
Строка 12:
== См. также ==
* [[комбинаторная логика]]
* [[Лямбда-исчисление с типами]]
* [[категориальная абстрактная машина]]