TY - JOUR AU - Dekkers, Wil AU - Bunder, Martin AU - Barendregt, Henk IS - 3 JA - Journal of Symbolic Logic PB - Association for Symbolic Logic PY - 1998 TI - Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic VL - 63 ER -