Đang tải...

Mã QR

Lambda-calculus and combinators, an introduction /

other_versions_link

Chi tiết về thư mục
Tác giả chính:	Hindley, J. Roger
Tác giả khác:	Seldin, J. P.
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Cambridge, UK ; New York : Cambridge University Press, c2008.
Những chủ đề:	Lambda calculus. Combinatory logic.

Những quyển sách tương tự

Lambda-calculus and combinators, an introduction /
Bằng: Hindley, J. Roger
Được phát hành: (2008)

Proofs and types /
Bằng: Girard, Jean-Yves
Được phát hành: (1989)

Introduction to combinatory logic
Bằng: Hindley, J. Roger
Được phát hành: (1972)

Estimation of lifetime characteristics using generalized LAMBDA distribution (PhD Thesis) /
Được phát hành: (2008)

Principles of statutory intepretation/14th ed. including the general clauses act, 1897 with notes
Bằng: Singh, G P
Được phát hành: (2016)

Income modeling using quantile functions(Thesis)
Bằng: Haritha N Haridas
Được phát hành: (2007)

Java SE 8 for the really impatient/
Bằng: Horstmann,Cay S.
Được phát hành: (2015)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
Bằng: Bohm, C. ed
Được phát hành: (1975)

Sequences, combinations
Bằng: Cohn, Leslie
Được phát hành: (1969)

Lambda-calculus, combinators, and functional programming
Bằng: Revesz, G E
Được phát hành: (1989)

A Genetic switch: phage and higher organisms
Bằng: Ptashne, Mark
Được phát hành: (1992)

Calculus /
Bằng: Thomas, George B.
Được phát hành: (2009)

Introduction to calculus and analysis /
Bằng: Courant, Richard
Được phát hành: (1974)

Introduction to the Calculus of Variations
Bằng: Brechtken-Manderscheid, U
Được phát hành: (1991)

An introduction to the infinitesimal calculus,
Bằng: Caunt, G. W.
Được phát hành: (1931)

Calculus /
Bằng: Anton, Howard
Được phát hành: (2010)

Calculus /
Bằng: Spivak, Michael
Được phát hành: (1973)

Calculus /
Bằng: Anton, Howard
Được phát hành: (2002)

Calculus /
Bằng: Thomas, George B.
Được phát hành: (1964)

Calculus /
Bằng: Ford, Lester R. (Sr)
Được phát hành: (1963)

Calculus /
Bằng: Loomis, Lynn
Được phát hành: (1975)

Calculus /
Bằng: Loomis, Lynn
Được phát hành: (1974)

Calculus/
Bằng: Strang,Gilbert
Được phát hành: (2010)

Calculus
Bằng: Agnew, Ralph Palmer
Được phát hành: (1962)

Calculus : one variable calculus with an introduction to linear algebra /
Bằng: Apostol, Tom M.

Calculus /
Bằng: Anton, Howard, Etc
Được phát hành: (2002)

Calculus
Bằng: Apostol,Tom M
Được phát hành: (2007)

Calculus
Bằng: Apostol,Tom M

Calculus
Bằng: Howard Anton
Được phát hành: (2002)

Calculus :an introduction to applied mathematics
Bằng: Greenspan, Harvey P
Được phát hành: (1973)

Rigveda ; gurudakshinabhashyam/
Bằng: Chandrasekharan Nair
Được phát hành: (2014)

Bacteriophage lambda
Bằng: Hershey, A D

Bacteriophage lambda
Bằng: Hershey, A D
Được phát hành: (1971)

Bacteriophage lambda
Bằng: Hershey, A D
Được phát hành: (1971)

Calculus 2 v. v.1 One variable calculus, with an introduction to linear algebra /
Bằng: Apostol, Tom M.
Được phát hành: (2009)

Introduction to calculus and classical analysis /
Bằng: Hijab, Omar
Được phát hành: (2007)

Tensor Calculus
Bằng: Synge, J. L
Được phát hành: (1949)

Integral calculus
Bằng: Shanti Narayan
Được phát hành: (2005)

Calculus /
Bằng: Anton, Howard
Được phát hành: (2011)