Summary: Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School. NATO ASI
Series F, SpringerVerlag, 1995.
Interaction Categories and the Foundations of
Typed Concurrent Programming
Samson Abramsky, Simon Gay and Rajagopal Nagarajan
Department of Computing,
Imperial College of Science, Technology and Medicine,
180 Queen's Gate,
London SW7 2BZ, UK.
Tutorial notes on Samson Abramsky's Interaction Categories, based on [3, 6] and incor
porating additional material by Simon Gay and Raja Nagarajan in Sections 3.4, 5.2, 5.3,
5.4 and 6.3.
Abstract. We propose Interaction Categories as a new paradigm for the semantics of
functional and concurrent computation. Interaction categories have specifications as ob
jects, processes as morphisms, and interaction as composition. We introduce two key
examples of interaction categories for concurrent computation and indicate how a general
axiomatisation can be developed. The upshot of our approach is that traditional process
calculus is reconstituted in functorial form, and integrated with type theory and functional