"Theorems for Free!" Вадлера и Curry-Howard изоморфизм

[deniok]

Продираюсь (с удовольствием) через "Theorems for Free!" Вадлера
http://citeseer.ist.psu.edu/wadler89theorems.html

и не встречаю там термина Curry-Howard изоморфизм. Ни разу. Хотя речь-то о нём. Или нет?

Comments

[lomeo.livejournal.com]

О нём. Статья - супер. Я просто в восхищении был, когда читал.

[deni-ok.livejournal.com]

Наверное, термин, как общепринятый, родился позже. Статья-то 89 года.

[kurilka.livejournal.com]

Блин, у меня недавно стояло в очереди 2 статьи его, первую "воспринял" ( http://citeseer.ist.psu.edu/85097.html ), а до этой (которая была 2-й) чтот вот руки так и не дошли.

[deni-ok.livejournal.com]

Эту - обязательно читать!

[igde.livejournal.com]

Нет, не о нем.