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