# zbMATH — the first resource for mathematics

Geometry of interaction. III: Accommodating the additives. (English) Zbl 0828.03027
Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 329-389 (1995).
[For reviews of Parts I and II see Zbl 0686.03030 and Zbl 0716.03047, respectively.]
This paper coincides with the author’s “On geometry of interaction” [Zbl 0828.03026].
For the entire collection see [Zbl 0816.00018].
Reviewer: G.Mints (Stanford)

##### MSC:
 03F05 Cut-elimination and normal-form theorems 03B20 Subsystems of classical logic (including intuitionistic logic) 03B70 Logic in computer science 68N17 Logic programming 46L99 Selfadjoint operator algebras ($$C^*$$-algebras, von Neumann ($$W^*$$-) algebras, etc.) 68Q55 Semantics in the theory of computing