Yes, I meant denotational semantics. I should be more specific in that email.
Antonio
--- El mar, 14/6/11, Wolfgang Lux <wlux_at_uni-muenster.de> escribió:
> De: Wolfgang Lux <wlux_at_uni-muenster.de>
> Asunto: Re: residuation for compositional search?
> Para: "Antonio Regidor García" <a_regidor_at_yahoo.es>
> CC: curry_at_lists.rwth-aachen.de
> Fecha: martes, 14 de junio, 2011 11:44
> Antonio Regidor García wrote:
>
> > Shouldn't (a & b) be semantically equivalent to (b
> & a)?
>
> Regarding a denotional semantics: yes, regarding an
> operational semantics: not necessarily.
>
> Regards
> Wolfgang
>
>
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Jun 14 2011 - 17:39:58 CEST