[Agda] An article by Jean-Yves Girard
Philippe de Rochambeau
phiroc at free.fr
Mon Apr 20 09:54:24 CEST 2020
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>
More information about the Agda
mailing list