[Agda] An article by Jean-Yves Girard

[Philippe de Rochambeau]

Good morning,
interesting article by Jean-Yves Girard (in French) : https://girard.perso.math.cnrs.fr/titres.pdf <https://girard.perso.math.cnrs.fr/titres.pdf> (who inspired Hindley and others)
Cheers,
Philippe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200420/82e5211c/attachment.html>