A Categorical Theory of Data Types - 42Papers