Date of Original Version
8-21-2006
Type
Technical Report
Abstract or Table of Contents
An efficient variant of the double-negation translation explains the relationship between Shoenfield’s and Gödel’s versions of the Dialectica interpretation.
8-21-2006
Technical Report
An efficient variant of the double-negation translation explains the relationship between Shoenfield’s and Gödel’s versions of the Dialectica interpretation.
Comments
CMU-PHIL-179