Re: residuation for compositional search?

From: Wolfgang Lux <wlux_at_uni-muenster.de>
Date: Tue, 14 Jun 2011 11:44:18 +0200

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:57 CEST