Соответствие Карри — Ховарда: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
KLBot2 (обсуждение | вклад) м Перемещение 8 интервики на Викиданные, d:Q975734 |
мНет описания правки |
||
Строка 60:
|издание = To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism
|тип =
|место =
|издательство = [[Academic Press]]
|год = 1980
|