แคลคูลัสแลมบ์ดา (Thai Wikipedia)

Analysis of information sources in references of the Wikipedia article "แคลคูลัสแลมบ์ดา" in Thai language version.

refsWebsite

Global rank Thai rank

2^nd place

4^th place

3^rd place

5^th place

179^th place

195^th place

26^th place

72^nd place

451^st place

3,953^rd place

ams.org

Turing, A. M. (December 1937). "Computability and λ-Definability". The Journal of Symbolic Logic. 2 (4): 153–163. doi:10.2307/2268280. JSTOR 2268280.
Church, A. "A Formulation of the Simple Theory of Types". Journal of Symbolic Logic. 5: 1940. doi:10.2307/2266170.
Frink Jr., Orrin (1944). "Review: The Calculi of Lambda-Conversion by Alonzo Church" (PDF). Bull. Amer. Math. Soc. 50 (3): 169–172. doi:10.1090/s0002-9904-1944-08090-7.

Turing, A. M. (December 1937). "Computability and λ-Definability". The Journal of Symbolic Logic. 2 (4): 153–163. doi:10.2307/2268280. JSTOR 2268280.

Coquand, Thierry, "Type Theory", The Stanford Encyclopedia of Philosophy (Summer 2013 Edition), Edward N. Zalta (ed.
Alama, Jesse "The Lambda Calculus", The Stanford Encyclopedia of Philosophy (Summer 2013 Edition), Edward N. Zalta (ed.