Completeness, invariance, and lambda-de (1982)

by R Statman
Venue:Journal of Symbolic Logic