λ-definable functionals and βη-conversion (1983)

by R Statman
Venue:Arch. Math. Logik