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

You're viewing

deniok's journal
Create a Dreamwidth Account Learn More

Reload page in style: site light

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

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

Flat | Top-Level Comments Only

From:

lomeo.livejournal.com

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

From:

deni-ok.livejournal.com

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

Flat | Top-Level Comments Only

Profile

deniok

February 2022

S	M	T	W	T	F	S
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28

Most Popular Tags

agda - 15 uses
bananas in space - 3 uses
coq - 7 uses
cs club - 3 uses
curry-howard - 2 uses
dependent types - 7 uses
epigram - 3 uses
fp - 72 uses
fprog - 44 uses
free theorems - 3 uses
ghc - 9 uses
haskell - 78 uses
lambda calculus - 16 uses
language design - 2 uses
lens - 2 uses
repost - 3 uses
spbhug - 5 uses
type theory - 13 uses
typed lambda - 8 uses
wikipedia - 2 uses
zipper - 2 uses
википедия - 2 uses
вопрос - 2 uses
встреча - 2 uses
выборы - 8 uses
высшая школа - 2 uses
егэ - 2 uses
жж - 4 uses
задачка - 5 uses
здорово - 4 uses
идиоты - 2 uses
клипы - 2 uses
красота - 3 uses
математика - 3 uses
наблюдения за природой - 2 uses
петербург - 2 uses
политика - 10 uses
рабочее - 3 uses
ржунимагу - 2 uses
сборник задач и упражнений по матлогике - 2 uses
сборник задач и упражнений по хаскелю - 25 uses
смешно - 7 uses
теория категорий - 2 uses
тест - 2 uses
тесты - 2 uses
фальсификации - 3 uses
функциональное программирование - 2 uses
черногория - 2 uses
языки программирования - 2 uses
яхта - 2 uses

Page Summary

lomeo.livejournal.com - (no subject)

Style Credit

Style: Cloudy Days for Ciel by carisma_sensei

Expand Cut Tags

No cut tags

Page generated Jul. 9th, 2025 04:52 am

Powered by Dreamwidth Studios