Lataa...

QR-koodi

Lambda-calculus and combinators, an introduction /

other_versions_link

Bibliografiset tiedot
Päätekijä:	Hindley, J. Roger
Muut tekijät:	Seldin, J. P.
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	Cambridge, UK ; New York : Cambridge University Press, c2008.
Aiheet:	Lambda calculus. Combinatory logic.

Samankaltaisia teoksia

Lambda-calculus and combinators, an introduction /
Tekijä: Hindley, J. Roger
Julkaistu: (2008)

Proofs and types /
Tekijä: Girard, Jean-Yves
Julkaistu: (1989)

Introduction to combinatory logic
Tekijä: Hindley, J. Roger
Julkaistu: (1972)

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

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

Income modeling using quantile functions(Thesis)
Tekijä: Haritha N Haridas
Julkaistu: (2007)

Java SE 8 for the really impatient/
Tekijä: Horstmann,Cay S.
Julkaistu: (2015)

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

Sequences, combinations
Tekijä: Cohn, Leslie
Julkaistu: (1969)

Lambda-calculus, combinators, and functional programming
Tekijä: Revesz, G E
Julkaistu: (1989)

A Genetic switch: phage and higher organisms
Tekijä: Ptashne, Mark
Julkaistu: (1992)

Calculus /
Tekijä: Thomas, George B.
Julkaistu: (2009)

Introduction to calculus and analysis /
Tekijä: Courant, Richard
Julkaistu: (1974)

Introduction to the Calculus of Variations
Tekijä: Brechtken-Manderscheid, U
Julkaistu: (1991)

An introduction to the infinitesimal calculus,
Tekijä: Caunt, G. W.
Julkaistu: (1931)

Calculus /
Tekijä: Anton, Howard
Julkaistu: (2010)

Calculus /
Tekijä: Spivak, Michael
Julkaistu: (1973)

Calculus /
Tekijä: Anton, Howard
Julkaistu: (2002)

Calculus /
Tekijä: Thomas, George B.
Julkaistu: (1964)

Calculus /
Tekijä: Ford, Lester R. (Sr)
Julkaistu: (1963)

Calculus /
Tekijä: Loomis, Lynn
Julkaistu: (1975)

Calculus /
Tekijä: Loomis, Lynn
Julkaistu: (1974)

Calculus/
Tekijä: Strang,Gilbert
Julkaistu: (2010)

Calculus
Tekijä: Agnew, Ralph Palmer
Julkaistu: (1962)

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

Calculus /
Tekijä: Anton, Howard, Etc
Julkaistu: (2002)

Calculus
Tekijä: Apostol,Tom M
Julkaistu: (2007)

Calculus
Tekijä: Apostol,Tom M

Calculus
Tekijä: Howard Anton
Julkaistu: (2002)

Calculus :an introduction to applied mathematics
Tekijä: Greenspan, Harvey P
Julkaistu: (1973)

Rigveda ; gurudakshinabhashyam/
Tekijä: Chandrasekharan Nair
Julkaistu: (2014)

Bacteriophage lambda
Tekijä: Hershey, A D

Bacteriophage lambda
Tekijä: Hershey, A D
Julkaistu: (1971)

Bacteriophage lambda
Tekijä: Hershey, A D
Julkaistu: (1971)

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

Introduction to calculus and classical analysis /
Tekijä: Hijab, Omar
Julkaistu: (2007)

Tensor Calculus
Tekijä: Synge, J. L
Julkaistu: (1949)

Integral calculus
Tekijä: Shanti Narayan
Julkaistu: (2005)

Calculus /
Tekijä: Anton, Howard
Julkaistu: (2011)