Types as Processes, via Chu spaces
Vaughan Pratt · Electronic Notes in Theoretical Computer Science · 1997
We match up types and processes by putting values in correspondence with events, coproduct with (noninteracting) parallel composition, and tensor product with orthocurrence. We then bring types and processes into closer correspondence by broadening and unifying the semantics of both using Chu spaces and their transformational logic. Beyond this point the connection appears to break down; we pose the question of whether the failures of the corrrespondence are intrinsic or cultural.