Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui

Les chemins d'une découverte : la correspondance de Curry-Howard, 1930-1970