Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ) |
Привет, Гость! Войдите или зарегистрируйтесь.
Вы здесь » Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ) » книги и публикации » 1985, Барендрегт, Ламбда-исчисление. Его синтаксис и семантика
![Лис [М]](https://forumavatars.ru/img/avatars/0018/41/1a/53-1678416278.jpg "Лис [М]")
«Первое на русском языке подробное и доступное изложение лямбда-исчисления»
2012-03-30, Конспект монографии по λ-исчислению
https://habr.com/ru/articles/141104/
«В английском издании понятия ламбда-алгебры и ламбда-модели вводятся корректным, но несколько утомительным способом.
Недавние исследования коллег позволили мне полностью переписать гл. 5, подведя категорное основание под оба вида моделей ламбда-исчисления»
Ранее:
Теория категорий
Отредактировано Лис (2024-08-13 10:32:27)
«Эта книга по существу не требует предварительной подготовки.
Лишь временами нужны элементарные сведения из
логики первого порядка, топологии, теории множеств, теории рекурсии и теории категорий.
Если потребуется, читатель может найти эти сведения в следующих книгах:
- Логика первого порядка: Эндертон [1972], Барвайз [1977а].
- Общая топология: Келли [1955].
- Теория множеств: Халмош [1960], Ван Дален и др. [1978], Келли [1955].
- Теория рекурсии: Роджерс [1967].
- Теория категорий: Арбиб и Мейне [1975], Маклейн [1972].»
Вы здесь » Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ) » книги и публикации » 1985, Барендрегт, Ламбда-исчисление. Его синтаксис и семантика