![](/img/cover-not-exists.png)
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic
Dekkers, Wil, Bunder, Martin, Barendregt, HenkVolume:
63
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2586717
Date:
September, 1998
File:
PDF, 1.09 MB
english, 1998