Go backward to 1.1 PO
Go up to 1 Specifications from the Bremen Proposal
Go forward to 1.3 NAT
1.2 MONOID
- spec
- MONOID =
- sort
- M
- ops
- n : M;
__*__ : M ×M -> M, assoc, unit n
- %%
- Alternatively, just specify the corresponding axioms:
- vars
- x,y,z : M
- ·
- n*x=x
- ·
- x*n=x
- ·
- (x*y)*z=x*(y*z)
CoFI
Document: CASL/SyntaxExamples --Version 0.99-- 17 February 1998.
Comments to cofi-language@brics.dk