Categorical logic of names and abstraction in action calculus (1997)

by D Pavlovic
Venue:Mathematical Structures in Computer Science 7