Re: Invertible nondeterminism?

From: Jan Christiansen <jac_at_informatik.uni-kiel.de>
Date: Thu, 16 Dec 2010 15:47:55 +0100

On 16.12.2010, at 15:41, Sebastian Fischer wrote:

> Here is a summary:
>
> 1. In a lazy language with call-time choice, choice is idempotent.

This is only the case if you consider sets but in fact all
implementations use "multisets". Furthermore if you want to assign a
denotational semantics to encapsulation you probably need a multiset
model anyway.

Does it change anything if you consider a denotational model that
employs multisets?

Cheers, Jan
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Thu Dec 16 2010 - 16:50:47 CET

This archive was generated by hypermail 2.3.0 : Mon Sep 16 2019 - 07:15:07 CEST