Completeness, invariance and lambda-definability (1982)

by Richard Statman
Venue:J. Symb. Log