Date of Original Version
8-23-2006
Type
Technical Report
Abstract or Table of Contents
An efficient variant of the double-negation translation explains the relationship between Shoenfield's and Godel's versions of the Dialectica interpretation.
8-23-2006
Technical Report
An efficient variant of the double-negation translation explains the relationship between Shoenfield's and Godel's versions of the Dialectica interpretation.
Comments
Carnegie Mellon Technical Report CMU-PHIL 179.