and uniformity in weak applicative theories (0)

by A Choice Cantini
Venue:In Logic Colloquium ’01