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