Аппликативные вычислительные системы
"Аппликативные вычислительные системы" или ABC, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах - это представление об объекте. В комбинаторной логике единственный метаоператор - аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора -...
Издательство:
ЮрИнфоР
Дата выхода: август 2008