der Woude. A relational theory of datatypes. In preparation: copies of draft available on request (1992)

by C J Aarts, R C Backhouse, P Hoogendijk, T S Voermans, J van