Llwytho...

Côd QR

Lambda-calculus and combinators, an introduction /

other_versions_link

Manylion Llyfryddiaeth
Prif Awdur:	Hindley, J. Roger
Awduron Eraill:	Seldin, J. P.
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Cambridge, UK ; New York : Cambridge University Press, c2008.
Pynciau:	Lambda calculus. Combinatory logic.

Eitemau Tebyg

Lambda-calculus and combinators, an introduction /
gan: Hindley, J. Roger
Cyhoeddwyd: (2008)

Proofs and types /
gan: Girard, Jean-Yves
Cyhoeddwyd: (1989)

Introduction to combinatory logic
gan: Hindley, J. Roger
Cyhoeddwyd: (1972)

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

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

Income modeling using quantile functions(Thesis)
gan: Haritha N Haridas
Cyhoeddwyd: (2007)

Java SE 8 for the really impatient/
gan: Horstmann,Cay S.
Cyhoeddwyd: (2015)

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

Sequences, combinations
gan: Cohn, Leslie
Cyhoeddwyd: (1969)

Lambda-calculus, combinators, and functional programming
gan: Revesz, G E
Cyhoeddwyd: (1989)

A Genetic switch: phage and higher organisms
gan: Ptashne, Mark
Cyhoeddwyd: (1992)

Calculus /
gan: Thomas, George B.
Cyhoeddwyd: (2009)

Introduction to calculus and analysis /
gan: Courant, Richard
Cyhoeddwyd: (1974)

Introduction to the Calculus of Variations
gan: Brechtken-Manderscheid, U
Cyhoeddwyd: (1991)

An introduction to the infinitesimal calculus,
gan: Caunt, G. W.
Cyhoeddwyd: (1931)

Calculus /
gan: Anton, Howard
Cyhoeddwyd: (2010)

Calculus /
gan: Spivak, Michael
Cyhoeddwyd: (1973)

Calculus /
gan: Anton, Howard
Cyhoeddwyd: (2002)

Calculus /
gan: Thomas, George B.
Cyhoeddwyd: (1964)

Calculus /
gan: Ford, Lester R. (Sr)
Cyhoeddwyd: (1963)

Calculus /
gan: Loomis, Lynn
Cyhoeddwyd: (1975)

Calculus /
gan: Loomis, Lynn
Cyhoeddwyd: (1974)

Calculus/
gan: Strang,Gilbert
Cyhoeddwyd: (2010)

Calculus
gan: Agnew, Ralph Palmer
Cyhoeddwyd: (1962)

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

Calculus /
gan: Anton, Howard, Etc
Cyhoeddwyd: (2002)

Calculus
gan: Apostol,Tom M
Cyhoeddwyd: (2007)

Calculus
gan: Apostol,Tom M

Calculus
gan: Howard Anton
Cyhoeddwyd: (2002)

Calculus :an introduction to applied mathematics
gan: Greenspan, Harvey P
Cyhoeddwyd: (1973)

Rigveda ; gurudakshinabhashyam/
gan: Chandrasekharan Nair
Cyhoeddwyd: (2014)

Bacteriophage lambda
gan: Hershey, A D

Bacteriophage lambda
gan: Hershey, A D
Cyhoeddwyd: (1971)

Bacteriophage lambda
gan: Hershey, A D
Cyhoeddwyd: (1971)

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

Introduction to calculus and classical analysis /
gan: Hijab, Omar
Cyhoeddwyd: (2007)

Tensor Calculus
gan: Synge, J. L
Cyhoeddwyd: (1949)

Integral calculus
gan: Shanti Narayan
Cyhoeddwyd: (2005)

Calculus /
gan: Anton, Howard
Cyhoeddwyd: (2011)