Browse
Browse and Search
Search
Explore more content
file.
pdf
(101.64 kB)
File info
This item contains files with download restrictions
Fullscreen
A Variant of the Double-Negation Translation
Cite
Download
(101.64 kB)
Share
Embed
journal contribution
posted on 2006-08-23, 00:00
authored by
Jeremy Avigad
Jeremy Avigad
An efficient variant of the double-negation translation explains the relationship between Shoenfield's and Godel's versions of the Dialectica interpretation.
History
Publisher Statement
All Rights Reserved
Date
2006-08-23
Usage metrics
Categories
Philosophy
Keywords
Philosophy
Licence
In Copyright
Exports
Select an option
RefWorks
RefWorks
BibTeX
BibTeX
Ref. manager
Ref. manager
Endnote
Endnote
DataCite
DataCite
NLM
NLM
DC
DC