Dialectica interpretation (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Dialectica interpretation" in English language version.

refsWebsite

Global rank English rank

670^th place

480^th place

low place

low place

179^th place

183^rd place

6^th place

6^th place

archive.org

Ulrich Kohlenbach (2008). Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer Verlag, Berlin. pp. 1–536.

cam.ac.uk

cl.cam.ac.uk

Valeria de Paiva (1991). The Dialectica Categories (PDF). University of Cambridge, Computer Laboratory, PhD Thesis, Technical Report 213.

mta.ca

tac.mta.ca

Masaru Shirahata (2006). The Dialectica interpretation of first-order classical affine logic. Theory and Applications of Categories, Vol. 17, No. 4. pp. 49–79.

stanford.edu

math.stanford.edu

Jeremy Avigad and Solomon Feferman (1999). Gödel's functional ("Dialectica") interpretation (PDF). in S. Buss ed., The Handbook of Proof Theory, North-Holland. pp. 337–405.