On Girard's "candidats de reductibilit'es (1990)

by Jean H Gallier
Venue:Logic And Computer Science