Prev Up Next
Go backward to 9 Description operator
Go up to Top
Go forward to References

10 Signature morphisms

Design proposal: Signature morphisms are signature morphisms in the first-order reduction that preserve the type constructors and the apply operators [Cer93].

We want to thank Maura Cerioli, Kolyang, Olaf Owe and Zhenyu Qian for useful discussions and contributions.

CoFI Note: L-8 ---- 7 January 1998.
Comments to

Prev Up Next