coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] co-Acc

From: Edsko de Vries <edskodevries AT gmail.com>
To: muad <muad.dib.space AT gmail.com>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] co-Acc
Date: Wed, 2 Sep 2009 19:27:06 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=LBITIxpQxBHSXiD922rXHGFT/iUAMIH8iYnO2QurUJZsfYmvuHFI8RCblWMa71YVLU uesPcj0kFaRJvrRiOzXdIL99LUCeMJQoPEDKaTCH7ThgTrvAgqOoeud8Op8He631UzQ9 8T1qIl/TumBfPhg0POs9bFT1ozenbhKJVc4W4=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi Muad,

Other people might be able to give you better options, but you could
have a look at�"A Unifying Approach to Recursive and Co-recursive
Definitions" by�Pietro Di Gianantonio and Marino Miculan:

http://users.dimi.uniud.it/~marino.miculan/data/downloads/TYPES02.pdf

Edsko

[Coq-Club] co-Acc, muad
- Re: [Coq-Club] co-Acc, Edsko de Vries