| |
| 1975 | ||
|---|---|---|
| 3 | Louis Nolin: Les modèles informatiques des lambda-calculus. Lambda-Calculus and Computer Science Theory 1975: 166-176 | |
| 1973 | ||
| 2 | Louis Nolin, G. Ruggiu: Formalization of Exel. POPL 1973: 108-119 | |
| 1972 | ||
| 1 | Louis Nolin: Systèmes algorithmiques, systèmes fonctionnels. ICALP 1972: 309-318 | |
| 1 | G. Ruggiu | [2] |