Loading...

QR Code

Lambda-calculus and combinators, an introduction /

other_versions_link

Bibliografiske detaljer
Hovedforfatter:	Hindley, J. Roger
Andre forfattere:	Seldin, J. P.
Format:	Printed Book
Sprog:	English
Udgivet:	Cambridge, UK ; New York : Cambridge University Press, c2008.
Fag:	Lambda calculus. Combinatory logic.

Lignende værker

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

Proofs and types /
af: Girard, Jean-Yves
Udgivet: (1989)

Introduction to combinatory logic
af: Hindley, J. Roger
Udgivet: (1972)

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

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

Income modeling using quantile functions(Thesis)
af: Haritha N Haridas
Udgivet: (2007)

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

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

Sequences, combinations
af: Cohn, Leslie
Udgivet: (1969)

Lambda-calculus, combinators, and functional programming
af: Revesz, G E
Udgivet: (1989)

A Genetic switch: phage and higher organisms
af: Ptashne, Mark
Udgivet: (1992)

Calculus /
af: Thomas, George B.
Udgivet: (2009)

Introduction to calculus and analysis /
af: Courant, Richard
Udgivet: (1974)

Introduction to the Calculus of Variations
af: Brechtken-Manderscheid, U
Udgivet: (1991)

An introduction to the infinitesimal calculus,
af: Caunt, G. W.
Udgivet: (1931)

Calculus /
af: Anton, Howard
Udgivet: (2010)

Calculus /
af: Spivak, Michael
Udgivet: (1973)

Calculus /
af: Anton, Howard
Udgivet: (2002)

Calculus /
af: Thomas, George B.
Udgivet: (1964)

Calculus /
af: Ford, Lester R. (Sr)
Udgivet: (1963)

Calculus /
af: Loomis, Lynn
Udgivet: (1975)

Calculus /
af: Loomis, Lynn
Udgivet: (1974)

Calculus/
af: Strang,Gilbert
Udgivet: (2010)

Calculus
af: Agnew, Ralph Palmer
Udgivet: (1962)

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

Calculus /
af: Anton, Howard, Etc
Udgivet: (2002)

Calculus
af: Apostol,Tom M
Udgivet: (2007)

Calculus
af: Apostol,Tom M

Calculus
af: Howard Anton
Udgivet: (2002)

Calculus :an introduction to applied mathematics
af: Greenspan, Harvey P
Udgivet: (1973)

Rigveda ; gurudakshinabhashyam/
af: Chandrasekharan Nair
Udgivet: (2014)

Bacteriophage lambda
af: Hershey, A D

Bacteriophage lambda
af: Hershey, A D
Udgivet: (1971)

Bacteriophage lambda
af: Hershey, A D
Udgivet: (1971)

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

Introduction to calculus and classical analysis /
af: Hijab, Omar
Udgivet: (2007)

Tensor Calculus
af: Synge, J. L
Udgivet: (1949)

Integral calculus
af: Shanti Narayan
Udgivet: (2005)

Calculus /
af: Anton, Howard
Udgivet: (2011)