Logic And Functional Programming Group

An independent interdisciplinary research group comprising members from six SFU units (Computing Sciences, Linguistics, Mathematics, Centre for Systems Science, Education, Engineering), two UBC units (Linguistics, Computinc Sciences), and from the University of Victoria and Aizu University in Japan. Includes objectives, specific research interest and equipment.