[Agda] An article by Jean-Yves Girard

[Philippe de Rochambeau]

Hi Jesper,
Sure.
I’ll summarize tonight or tomorrow.
Best regards,
Philippe

> Le 20 avr. 2020 à 09:20, Jesper Cockx <Jesper at sikanda.be> a écrit :
> 
> 
> Hi Philippe,
> 
> Could you share something about the article why you think it is interesting to the Agda community? Not everyone here is fluent in French.
> 
> -- Jesper
> 
>> On Mon, Apr 20, 2020 at 9:01 AM Philippe de Rochambeau <phiroc at free.fr> wrote:
>> Good morning,
>> interesting article by Jean-Yves Girard (in French) : https://girard.perso.math.cnrs.fr/titres.pdf (who inspired Hindley and others)
>> Cheers,
>> Philippe
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200420/38ed7438/attachment.html>