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

by D Pavlovic
Venue:Mathematical Structures in Computer Science