Completeness, invariance and lambda-de nability (1982)

by Richard Statman
Venue:J. Symb. Log