Towards a Unified Theory of Data Types: Some Categorical Aspects

Peter Dybjer. Towards a Unified Theory of Data Types: Some Categorical Aspects. In ADT. 1983.

Abstract

Abstract is missing.