Louis Nolin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page