Working notes on membership of data types. Unpublished manuscript (1993)

by O de Moor