coq-club AT inria.fr
Subject: The Coq mailing list
List archive
Re: [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof)
chronological Thread
- From: Edsko de Vries <edskodevries AT gmail.com>
- To: Nils Anders Danielsson <nad AT cs.nott.ac.uk>
- Cc: Coq Club <coq-club AT pauillac.inria.fr>, Agda List <agda AT lists.chalmers.se>
- Subject: Re: [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof)
- Date: Tue, 1 Sep 2009 14:50:13 +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; b=l6zl8teZ50jr4pH64iGx5eRzV4aoficJq32uPdCmHPlCNLm53A+4IWR2A3MoFIPe7q TLUFwayp+64hDTvcW3TQK9i6eci+tzWUKbWsbPhGePTBE3i4IZ/lczONR5T33G3tFY2j msh3HcNGbeiaackFS6NovWkaP+kLi85v6eV2g=
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
that should read provably, not probably :)
- Re: [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof), Edsko de Vries
- Re: [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof), Edsko de Vries
- Re: [Agda] Re: [Coq-Club] Adding (inductive) transitivity to weak bisimilarity not sound? (was: Need help with coinductive proof), Thorsten Altenkirch
Archive powered by MhonArc 2.6.16.