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 -calc...
No comments yet
Be the first to share your thoughts!