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

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

Date: 2007-05-09 06:54 pm (UTC)
From: [identity profile] lomeo.livejournal.com
О нём. Статья - супер. Я просто в восхищении был, когда читал.

Date: 2007-06-06 08:16 pm (UTC)
From: [identity profile] kurilka.livejournal.com
Блин, у меня недавно стояло в очереди 2 статьи его, первую "воспринял" ( http://citeseer.ist.psu.edu/85097.html ), а до этой (которая была 2-й) чтот вот руки так и не дошли.

Date: 2007-06-15 07:28 am (UTC)
From: [identity profile] igde.livejournal.com
Нет, не о нем.

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 26th, 2025 06:00 am
Powered by Dreamwidth Studios