Robin Milner' Contributions

Other References

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

Other External Links:

https://en.wikipedia.org/wiki/Robin_Milner