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].

Acknowlegdements
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 till@informatik.uni-bremen.de

Prev Up Next