Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Лямбда - исчисление и комбинаторная логика \

9.6.2.10.2. Комбинаторы и лямбда - исчисление (Дж. Р. Хиндли, 1986)

 
Начало см. здесь.
Хиндли Дж. Р.
Комбинаторы и лямбда - исчисление.
Краткий обзор. Пер. с англ., М.: Мир, 1991.
9.6.2.10.2.3. Типовое лямбда - исчисление      9.6.2.10.2.4. Типовая комбинаторная логика
9.6.2.10.2.3. Типовое лямбда - исчисление      9.6.2.10.2.4. Типовая комбинаторная логика
К началу данной страницы  
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Лямбда - исчисление и комбинаторная логика \