25 Mar
2002
25 Mar
'02
3:01 p.m.
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