Un interpréteur de λ-calcul (1985)

by J-L Krivine