Interpretação Dialectica (Portuguese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Interpretação Dialectica" in Portuguese language version.

refsWebsite

Global rank Portuguese rank

670^th place

686^th place

low place

low place

179^th place

198^th place

cam.ac.uk

cl.cam.ac.uk

Valeria de Paiva (1991). The Dialectica Categories (PDF). [S.l.]: 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. [S.l.]: 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). [S.l.]: in S. Buss ed., The Handbook of Proof Theory, North-Holland. pp. 337–405