Title: Categorical logic in models of concurrency
Subjects: Categories (Mathematics), Logic, Symbolic and mathematical, Symbolic and mathematical Logic