Переписка Карри-Ховарда
Переписка Карри и Говарда Основы соответствия Карри-Говарда Соответствие Карри-Говарда связывает логические формулы с типами и доказательствами в лямбда-исчислении. Оно позволяет […]
Вики
1958 in computing
Вики
Переписка Карри-Ховарда
Переписка Карри и Говарда Основы соответствия Карри-Говарда Соответствие Карри-Говарда связывает логические формулы с типами и доказательствами в лямбда-исчислении. Оно позволяет