Combining the typed [lambda]-calculus with CCS /
Ferreira, William.
Hennessy, Matthew.
Jeffrey, Alan.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : School of Cognitive and Computing Sciences, University of Sussex,
1996.
Cover title.