We present and discuss a simple semantic approach to force step-indexed logical relations to be transitive.

We investigatea simple form of parametricity, based on adding \abstract" copies of pre-existing types. Connections are made with the Reynolds-Ma theory of parametricity by logical relations, with the theory of parametricity via dinaturality, and with the categorical notion of equivalence.

The colour-magnitude relation (CMR) of cluster ellipticals has been widely used to constrain their star formation histories (SFHs) and to discriminate between the monolithic and merger paradigms of elliptical galaxy formation. We investigate the elliptical CMR predicted in the merger paradigm by using a ΛCDM hierarchical merger model. We first highlight sections of the literature which indicate...

The aim of this paper is to demonstrate the nature of the American system of manufactures in a descriptive and critical manner, to analyze its entrenched paradigm, and then to uncover its rational inadequacy. In particular, the paper first describes the dominant model embodied in the American system in terms of job design, organizational structure, and organizational technology, and reveals its...