Un interprète du λ-calcul. Brouillon. Available online at http://www.pps.jussieu.fr/ ∼ krivine (1985)

by J-L Krivine