Lambda-calcul, types et modeles (1990)

by J L Krivine