Paul Hoogendijk

• A Generic Theory of Data Types