The Coq mailing list

[Peter LeFanu Lumsdaine <p.l.lumsdaine AT gmail.com>]

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