Les modeles informatiques des λ-calculs
2005 ◽
pp. 166-176
◽