Go backward to 7 Subsorting
Go up to Top
Go forward to 9 Description operator
8 \-abstraction
Design proposal:
Allow \-abstraction in terms and formulae, as in many
presentations of higher-order logic (e.g. [And86])
in order to gain more expressibility.
Alternatives:
Do not allow \-abstraction (cf. [Cer93])
in order to gain a closer relation to standard algebraic
specifications (and their tools).
CoFI
Note: L-8 ---- 7 January 1998.
Comments to till@informatik.uni-bremen.de