coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Peter LeFanu Lumsdaine <p.l.lumsdaine AT gmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Article hunt: Gimenez ENS-Lyon tech report
- Date: Wed, 6 Jul 2011 13:14:52 -0700
Many thanks to Bruno and others who answered my question. A tip that
Marthe Bonamy gave along with the link, which may be useful to others
as well: www.google.fr often finds things that www.google.com (even
with quite specific search terms) does not.
Best,
–Peter.
On Mon, Jul 4, 2011 at 9:35 AM, Bruno Barras
<bruno.barras AT inria.fr>
wrote:
> On 07/01/2011 03:32 PM, Peter LeFanu Lumsdaine wrote:
>> I and some colleagues are trying to track down a copy of Eduardo
>> Giménez’ 1994 ENS-Lyon tech report “Codifying guarded definitions with
>> recursive schemes,” Laboratoire de l’Informatique du Parallélisme. If
>> anyone has access to this and could help us, we’d be very grateful!
>>
>> (A shorter version of this paper, 21pp, appears under the same title
>> in LNCS 996; unfortunately, it omits the main parts of what we’re
>> looking for (an account of the reduction of “co-fixpoints with guards”
>> to a co-iterator), referring to the tech report for the details.)
>>
>> Many thanks,
>> –Peter.
>
> The LIP website gives this link:
>
> ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1995/RR1995-07.ps.Z
- [Coq-Club] Article hunt: Gimenez ENS-Lyon tech report, Peter LeFanu Lumsdaine
- <Possible follow-ups>
- Re: [Coq-Club] Article hunt: Gimenez ENS-Lyon tech report,
Bruno Barras
- Re: [Coq-Club] Article hunt: Gimenez ENS-Lyon tech report, Peter LeFanu Lumsdaine
Archive powered by MhonArc 2.6.16.