2-я международная конференция по аппликативным вычислительным системам (АВС'2010 ) (29–31 октября 2010 г., г. Москва)
Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах — это представление объекте. Одной из центральных тем являются вычисления с объектами и их применения вместе с разделами из логики, теории типов, теории вычислений и семантического моделирования.
