Linear Logic: its syntax and semantics 论文

摘要

this paper is the use of dialects, i.e. data which are defined up to isomorphism. The distinction between the two conjunctions can be explained by the possible ways of merging dialects : this is a new insight in the theory of parallel computation. Geometry of interaction also works for various -calculi, for instance for pure