The aim of this paper is to describe some geometric examples of non commutative and cyclic phase spaces, filling a gap in the literature and developing the project of geometrization of semantics for linear logics started in [12]. Besides, we present an algebraic semantics for non commutative linear logic with exponentials.

Rendering high-quality non-photorealistic images of a given geometric model is often associated with a considerable amount of effort on the part of a user to fine-tune the rendition. In this paper we introduce a method and tools for re-using the user’s effort invested in one model for the rendering of other models. Our method uses templates to describe rendition styles. The paper gives a number...