@book{669300df196248509a1139cebcb32195,
title = "What is a data type?",
abstract = "A program derivation is said to be polytypic if some of its parameters are data types. Polytypic program derivations necessitate a general non inductive definition of {\textquoteleft}data type{\textquoteright}. Here we propose such a definition: a data type is a relator that has membership. It is shown how this definition implies various other properties that are shared by all data types. In particular, all data types have a unique strength, and all natural transformations between data types are strong.",
author = "P.F. Hoogendijk and \{Moor, de\}, O.",
year = "1996",
language = "English",
series = "Computing science reports",
publisher = "Technische Universiteit Eindhoven",
}