Lanean...

QR Kodea

Lambda-calculus and combinators, an introduction /

other_versions_link

Xehetasun bibliografikoak
Egile nagusia:	Hindley, J. Roger
Beste egile batzuk:	Seldin, J. P.
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Cambridge, UK ; New York : Cambridge University Press, c2008.
Gaiak:	Lambda calculus. Combinatory logic.

Antzeko izenburuak

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

Proofs and types /
nork: Girard, Jean-Yves
Argitaratua: (1989)

Introduction to combinatory logic
nork: Hindley, J. Roger
Argitaratua: (1972)

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

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

Income modeling using quantile functions(Thesis)
nork: Haritha N Haridas
Argitaratua: (2007)

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

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

Sequences, combinations
nork: Cohn, Leslie
Argitaratua: (1969)

Lambda-calculus, combinators, and functional programming
nork: Revesz, G E
Argitaratua: (1989)

A Genetic switch: phage and higher organisms
nork: Ptashne, Mark
Argitaratua: (1992)

Calculus /
nork: Thomas, George B.
Argitaratua: (2009)

Introduction to calculus and analysis /
nork: Courant, Richard
Argitaratua: (1974)

Introduction to the Calculus of Variations
nork: Brechtken-Manderscheid, U
Argitaratua: (1991)

An introduction to the infinitesimal calculus,
nork: Caunt, G. W.
Argitaratua: (1931)

Calculus /
nork: Anton, Howard
Argitaratua: (2010)

Calculus /
nork: Spivak, Michael
Argitaratua: (1973)

Calculus /
nork: Anton, Howard
Argitaratua: (2002)

Calculus /
nork: Thomas, George B.
Argitaratua: (1964)

Calculus /
nork: Ford, Lester R. (Sr)
Argitaratua: (1963)

Calculus /
nork: Loomis, Lynn
Argitaratua: (1975)

Calculus /
nork: Loomis, Lynn
Argitaratua: (1974)

Calculus/
nork: Strang,Gilbert
Argitaratua: (2010)

Calculus
nork: Agnew, Ralph Palmer
Argitaratua: (1962)

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

Calculus /
nork: Anton, Howard, Etc
Argitaratua: (2002)

Calculus
nork: Apostol,Tom M
Argitaratua: (2007)

Calculus
nork: Apostol,Tom M

Calculus
nork: Howard Anton
Argitaratua: (2002)

Calculus :an introduction to applied mathematics
nork: Greenspan, Harvey P
Argitaratua: (1973)

Rigveda ; gurudakshinabhashyam/
nork: Chandrasekharan Nair
Argitaratua: (2014)

Bacteriophage lambda
nork: Hershey, A D

Bacteriophage lambda
nork: Hershey, A D
Argitaratua: (1971)

Bacteriophage lambda
nork: Hershey, A D
Argitaratua: (1971)

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

Introduction to calculus and classical analysis /
nork: Hijab, Omar
Argitaratua: (2007)

Tensor Calculus
nork: Synge, J. L
Argitaratua: (1949)

Integral calculus
nork: Shanti Narayan
Argitaratua: (2005)

Calculus /
nork: Anton, Howard
Argitaratua: (2011)