Gérard Huet' Contributions

Other References

Contribution à la définition interprétative et à l'implantation des Lambda-Langages, PhD dissertation

Other External Links:

https://fr.wikipedia.org/wiki/G%C3%A9rard_Huet
https://en.wikipedia.org/wiki/G%C3%A9rard_Huet