Partial Interpretations of Higher Order Algebraic Types (Extended Abstract).

Manfred Broy

Browse the full MFCS paper archive.