%0 Journal Article %1 journals/jsyml/DekkersBB98 %A Dekkers, Wil %A Bunder, Martin W. %A Barendregt, Henk %D 1998 %J J. Symb. Log. %K dblp %N 3 %P 869-890 %T Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory Logic. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml63.html#DekkersBB98 %V 63

@article{journals/jsyml/DekkersBB98, added-at = {2014-08-05T00:00:00.000+0200}, author = {Dekkers, Wil and Bunder, Martin W. and Barendregt, Henk}, biburl = {https://www.bibsonomy.org/bibtex/213265ac3943b67a01016e8837412ba37/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183745571}, interhash = {de7efa2b335921caa4e4d244a5026f17}, intrahash = {13265ac3943b67a01016e8837412ba37}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {869-890}, timestamp = {2015-04-30T09:18:00.000+0200}, title = {Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory Logic.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml63.html#DekkersBB98}, volume = 63, year = 1998 }