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