載入...

QR Code

Lambda-calculus and combinators, an introduction /

other_versions_link

書目詳細資料
主要作者:	Hindley, J. Roger
其他作者:	Seldin, J. P.
格式:	Printed Book
語言:	English
出版:	Cambridge, UK ; New York : Cambridge University Press, c2008.
主題:	Lambda calculus. Combinatory logic.

相似書籍

Lambda-calculus and combinators, an introduction /
由: Hindley, J. Roger
出版: (2008)

Proofs and types /
由: Girard, Jean-Yves
出版: (1989)

Introduction to combinatory logic
由: Hindley, J. Roger
出版: (1972)

Estimation of lifetime characteristics using generalized LAMBDA distribution (PhD Thesis) /
出版: (2008)

Principles of statutory intepretation/14th ed. including the general clauses act, 1897 with notes
由: Singh, G P
出版: (2016)

Income modeling using quantile functions(Thesis)
由: Haritha N Haridas
出版: (2007)

Java SE 8 for the really impatient/
由: Horstmann,Cay S.
出版: (2015)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
由: Bohm, C. ed
出版: (1975)

Sequences, combinations
由: Cohn, Leslie
出版: (1969)

Lambda-calculus, combinators, and functional programming
由: Revesz, G E
出版: (1989)

A Genetic switch: phage and higher organisms
由: Ptashne, Mark
出版: (1992)

Calculus /
由: Thomas, George B.
出版: (2009)

Introduction to calculus and analysis /
由: Courant, Richard
出版: (1974)

Introduction to the Calculus of Variations
由: Brechtken-Manderscheid, U
出版: (1991)

An introduction to the infinitesimal calculus,
由: Caunt, G. W.
出版: (1931)

Calculus /
由: Anton, Howard
出版: (2010)

Calculus /
由: Spivak, Michael
出版: (1973)

Calculus /
由: Anton, Howard
出版: (2002)

Calculus /
由: Thomas, George B.
出版: (1964)

Calculus /
由: Ford, Lester R. (Sr)
出版: (1963)

Calculus /
由: Loomis, Lynn
出版: (1975)

Calculus /
由: Loomis, Lynn
出版: (1974)

Calculus/
由: Strang,Gilbert
出版: (2010)

Calculus
由: Agnew, Ralph Palmer
出版: (1962)

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

Calculus /
由: Anton, Howard, Etc
出版: (2002)

Calculus
由: Apostol,Tom M
出版: (2007)

Calculus
由: Apostol,Tom M

Calculus
由: Howard Anton
出版: (2002)

Calculus :an introduction to applied mathematics
由: Greenspan, Harvey P
出版: (1973)

Rigveda ; gurudakshinabhashyam/
由: Chandrasekharan Nair
出版: (2014)

Bacteriophage lambda
由: Hershey, A D

Bacteriophage lambda
由: Hershey, A D
出版: (1971)

Bacteriophage lambda
由: Hershey, A D
出版: (1971)

Calculus 2 v. v.1 One variable calculus, with an introduction to linear algebra /
由: Apostol, Tom M.
出版: (2009)

Introduction to calculus and classical analysis /
由: Hijab, Omar
出版: (2007)

Tensor Calculus
由: Synge, J. L
出版: (1949)

Integral calculus
由: Shanti Narayan
出版: (2005)

Calculus /
由: Anton, Howard
出版: (2011)