On Girard’s “candidats de reductibilite (1990)

by J Gallier
Venue:In Logic and Computer Science