Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types.

Jo Erskine Hannay

Browse the full ICALP paper archive.