Affordable Access

A typed calculus of synchronous processes

Publication Date
  • Linguistics


Proposes a typed calculus of synchronous processes based on the structure of interaction categories. Our aim has been to develop a calculus for concurrency that is canonical in the sense that the typed λ-calculus is canonical for functional computation. We show strong connections between syntax, logic and semantics, analogous to the familiar correspondence between the typed λ-calculus, intuitionistic logic and Cartesian closed categories

There are no comments yet on this publication. Be the first to share your thoughts.