Categorical datatypes --- a critique of Hagino's thesis. Unpublished note (1988)

by G C Wraith