Login / Signup

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

Jo Erskine Hannay
Published in: ICALP (2003)
Keyphrases