[Agda] An article by Jean-Yves Girard

Jesper Cockx Jesper at sikanda.be
Mon Apr 20 09:20:23 CEST 2020


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/65ed6d62/attachment.html>


More information about the Agda mailing list