Prev Up Next
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

Prev Up Next