Publication View

Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic (1998)

Publication details

Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Article
Language	Englisch