A theory of interaction semantics

Open in new window