On Girard’s “candidats de reductibilités (1990)

by Jean Gallier
Venue:Logic And Computer Science