Programs as data objects

Этот том представляет собой материалы Второго симпозиума по программам в качестве объектов данных (PADO-II), состоявшегося в Университете Фаархуса, Дания, 21-23 мая 2001 года. PADO-II был связан с Международным семинаром по неявной сложности вычислений (ICC2001) и Семнадцатой конференцией по математическим основам семантики программирования (MFPS XVII). Первая группа была организована Харальдом Ганзингером и Нейл Джонсом в 1985 году. Этот второй симпозиум был приурочен к 60-летию Нила...