Re: residuation for compositional search?

From: Antonio Regidor García <a_regidor_at_yahoo.es>
Date: Tue, 14 Jun 2011 10:47:46 +0100 (BST)

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

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:10 CET