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