Исмаилова Л.Ю.: Аппликативные вычислительные системы: Труды 3-й международной конференции по аппликативным вычислительным системам
Скачать книгу (размер 1 508 Kb , формат fb2, страниц 297) Аннотация: Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах — это представление об объекте. В комбинаторной логике единственный метаоператор — аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора…