Date of Original Version

8-23-2006

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

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.

Included in

Philosophy Commons

Share

COinS