Re: residuation for compositional search?

From: Jan Christiansen <jac_at_informatik.uni-kiel.de>
Date: Wed, 15 Jun 2011 09:38:15 +0200

Hi,

On Jun 15, 2011, at 7:46 AM, Brian Ledger wrote:

> Does Curry have a denotational semantics? I have seen various
> different implementations reliant upon step-semantics and graph-
> rewriting, but not any particular denotational semantics.

we have recently presented an approach to a denotational semantics for
Curry

http://www.iai.uni-bonn.de/~jv/IAI-TR-2011-1.pdf

Cheers,
Jan



_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Jun 15 2011 - 18:09:44 CEST

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