Categorical logic of names and abstraction in action calculi/
Pavlović, Dusko.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : School of Cognitive and Computing Sciences, University of Sussex,
1996.