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

by Jean-Louis Krivine