
<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Good morning,<div class="">interesting article by Jean-Yves Girard (in French) : <a href="https://girard.perso.math.cnrs.fr/titres.pdf" class="">https://girard.perso.math.cnrs.fr/titres.pdf</a> (who inspired Hindley and others)</div><div class="">Cheers,</div><div class="">Philippe</div></body></html>