On girard’s ”candidats de reductibilité”. 2002. Available athttp: //www.cis.upenn.edu/~jean/gbooks/logic.html (last visited 2007–05–15 (0)

by J H Gallier