On 07/12/2012 03:10 PM, Paul Tarau wrote:
> - only syntactically valid terms are encoded / decoded
>Not to be overly picky, but mightn't one want the theory in question to
prove, even to decide, such questions as: Is such-and-such well-formed?
Richard