by Laboratoire informatique théorique et programmation (France). Spring School
"This volume contains the proceedings of the 15th Spring School of the LITP (Laboratoire d'Informatique Théorique et de Programmation, Université Paris VI-VII, CNRS) held from May 25 to 29, 1987 in…