No. 44 (1996): RS-44 A Presheaf Semantics of Value-Passing Processes

Published: 1996-06-14