Typed lambda calculus (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Typed lambda calculus" in English language version.

refsWebsite

Global rank English rank

low place

low place

6^th place

6^th place

451^st place

277^th place

305^th place

264^th place

2^nd place

2^nd place

102^nd place

76^th place

5^th place

5^th place

low place

9,807^th place

ams.org

mathscinet.ams.org

Lambek, J.; Scott, P. J. (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press, ISBN 978-0-521-35653-4, MR 0856915

archive.org

Lambek, J.; Scott, P. J. (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press, ISBN 978-0-521-35653-4, MR 0856915

cambridge.org

Barendregt, Henk (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/S0956796800020025. hdl:2066/17240. ISSN 0956-7968.

doi.org

Barendregt, Henk (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/S0956796800020025. hdl:2066/17240. ISSN 0956-7968.

handle.net

hdl.handle.net

Barendregt, Henk (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/S0956796800020025. hdl:2066/17240. ISSN 0956-7968.

hbr.github.io

Brandl, Helmut (27 April 2024). "Typed Lambda Calculus / Calculus of Constructions" (PDF). Calculus of Constructions. Retrieved 27 April 2024.

perl.org

blogs.perl.org

"What to know before debating type systems | Ovid [blogs.perl.org]". blogs.perl.org. Retrieved 2024-04-26.

worldcat.org

search.worldcat.org

Barendregt, Henk (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/S0956796800020025. hdl:2066/17240. ISSN 0956-7968.