Contextual equivalence for higher-order [pi]-calculus revisited /
Jeffrey, Alan.
Rathke, Julian.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : School of Cognitive and Computing Sciences, University of Sussex,
2002.
Caption title.