![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
deniokПродираюсь (с удовольствием) через "Theorems for Free!" Вадлера
http://citeseer.ist.psu.edu/wadler89theorems.html
и не встречаю там термина Curry-Howard изоморфизм. Ни разу. Хотя речь-то о нём. Или нет?
http://citeseer.ist.psu.edu/wadler89theorems.html
и не встречаю там термина Curry-Howard изоморфизм. Ни разу. Хотя речь-то о нём. Или нет?
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2007-06-06 08:20 pm (UTC)