Constructive-synthesizing structures and their grammatical interpretations. II. Refining transformations

From MaRDI portal