On Girard’s “Candidats de Réductibilité (1990)

by J Gallier
Venue:Logic and Computer Science