superhuman: http://dkeenan.com/Lambda/ David C. Keen

http://dkeenan.com/Lambda/ David C. Keenan, To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction

Хороша идея, мне понравилось. Только не на птиц это дело похоже, а на трубопровод. Осталось неясно, что имеется в виду под "once removed ..."

(Добавить комментарий)

	dmitry_danner 2011-04-21 12:53 (ссылка)
	Дэвид Кинан тот самый? О_о (Ответить) (Ветвь дискуссии)

	phantom 2011-04-22 02:31 (ссылка)
	А чем он прославился? (Ответить) (Уровень выше) (Ветвь дискуссии)

dmitry_danner
2011-04-22 16:36 (ссылка)

http://www.safpublishing.com/store/pages/html/hidden_reverse_book.htm

Не, таки не тот, тот живет в Скотландии, а этот в Австралии. Мне казалось, что тот тоже живет в Австралии, потому что он в Австралии брал интервью у Дагласа Пэ.

(Ответить) (Уровень выше) (Ветвь дискуссии)

	phantom 2011-04-23 00:39 (ссылка)
	Зато он налоги "на войну" не платит: http://dkeenan.com/CO/index.htm (Ответить) (Уровень выше)