%0 Journal Article %A Bunder, M. W. %D 1979 %I Duke University Press %J Notre Dame Journal of Formal Logic %N 3 %P 628-630 %T $\\Lambda$-elimination in illative combinatory logic %V 20