I would like to read more in connection with his comment " semantics has been previously analyzed as the contravariant 2-functor...." In fact, I'd be interested to read anything on the categorical understanding of interpretations. best regards, steve 29-Mar-2002 15:14:42 -0400,804;000000000000-00000000