Re: Formal Semantics

Inference rule "group" is wrong. Its conclusion should be " .... => k1 +
k2 ; kr1 + kr2", not "k1+kr1; k2+kr2". The same error applies for
several other rules.

For inference rules like (anyName), I think you should write

                    <- empty line
---------------
 n in <anyName/>



regards,
----------------------
K.Kawaguchi
E-Mail: