%0 Journal Article %A Dekkers, Wil %A Bunder, Martin %A Barendregt, Henk %D 1998 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 3 %P 869-890 %T Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic %V 63