Teoría de tipos (Spanish Wikipedia)

Analysis of information sources in references of the Wikipedia article "Teoría de tipos" in Spanish language version.

refsWebsite

Global rank Spanish rank

6,572^nd place

6,681^st place

26^th place

56^th place

jstor.org

Alonzo Church, A formulation of the simple theory of types, The Journal of Symbolic Logic 5(2):56–68 (1940)

mcmaster.ca

imps.mcmaster.ca

William M. Farmer, The Seven Virtues of Simple Type Theory, Journal of Applied Logic, Vol. 6, No. 3. (September 2008), pp. 267–286.