Как читать Барендрегта
Oct. 24th, 2013 02:49 pm
Один из вариантов того, как можно читать классическую монографию по λ-исчислению [1]:
параграф 2.1;
упр. 2.4.1 (i)-(iii), 2.4.2-2.4.13;
упр. 2.4.15 (только в оригинале [2]);
параграф 2.2;
упр. 2.4.14;
параграфы 3.1-3.3;
упр. 3.5.1 (v), 3.5.1 (i), 3.5.6 (i), 3.5.2, 3.5.3, 3.5.11;
параграфы 13.1-13.2 до приложения 13.2.3 включительно;
часть II (главы 6-10);
параграф 4.1;
упр. 4.3.2, 4.3.4;
главы 15 и 16.
В каком-то приближении именно этот материал изложен чрезвычайно кратко в [3] (по-русски).
[1] Х. Барендрегт. Ламбда-исчисление, его синтаксис и семантика. Москва, 1985.
[2] H. P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. North-Holland, 1984.
[3] A. Salikhmetov. Lambda Calculus Synopsis. arXiv:1304.0558, 2013.