Séquents qu’on calcule (1995)

by H Herbelin