«Теория категорий и теория вычислений»

[kassalanche]

Вчера Александр Батальщиков положил начало цикла встреч, посвященного разбору четвертой части Rosetta Stone «Computation».

Первый семинар в этом направлении прошёл под общим заголовком комбинаторная логика (КЛ).

Comments

[ext_179323]

Как я вижу, на первом семинаре решили рассмотреть вторую половину заголовка, а первую оставили на второй семинар. :)

Можем мы добавить эту ссылку в наш список?
http://math.ucr.edu/home/baez/lics2009

[ext_179323]

Да. При том, что мне бы как раз хотелось видеть там более короткий список - слишком длинный скорее дезориентирует читателя. Но про лямбду у нас сейчас маловато, а здесь именно оно, и самое свежее.

[ulysses4ever]

По-моему, этот список как раз выходит за рамки (нашего) базового списка.

[ext_179323]

Да, выходит. Тут такая проблема: либо, как ниже Осман говорит, "это бета-редукция (что и так уже давно ясно)". Либо "выходит за рамки".

Что еще можно было бы из того, что в рамках... Рассматреть спецификацию "категорной абстрактной машины" - так она концептуально ничего нового не содержит. А что Вам было бы интересно?

[ext_179323]

"рассматреть"="рассмотреть"
(увы, пора в первый класс)

[ulysses4ever]

Мне было бы интересно рассмотреть КАМ. Рассуждать так широко: «концептуально ничего нового» - я не готов. Много всего не содержит концептуально, но интересно.

[ext_179323]

Конкретно этот текст - да, как в мультфильме: "слон есть плохо, справка есть карашо!"
Но к нему список литературы интересный.