[<<][staapl][>>][..]
Mon Jul 14 15:23:22 CEST 2008

binary operations

Composition of binary operations have the following structures:

non-struct: tree
assoc:      list
comm+assoc: set

Read the OBJ paper yesterday, and I'm thinking wheter the 'theories'
approach might be usable in Coma: expressing properties of operators,
i.e. associativity, commutativity,...




[Reply][About]
[<<][staapl][>>][..]