Louis Nolin

• Formalisation des notions de machine et de programme