Caricamento...

Codice QR

Lambda-calculus and combinators, an introduction /

other_versions_link

Dettagli Bibliografici
Autore principale:	Hindley, J. Roger
Altri autori:	Seldin, J. P.
Natura:	Printed Book
Lingua:	English
Pubblicazione:	Cambridge, UK ; New York : Cambridge University Press, c2008.
Soggetti:	Lambda calculus. Combinatory logic.

Documenti analoghi

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

Proofs and types /
di: Girard, Jean-Yves
Pubblicazione: (1989)

Introduction to combinatory logic
di: Hindley, J. Roger
Pubblicazione: (1972)

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

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

Income modeling using quantile functions(Thesis)
di: Haritha N Haridas
Pubblicazione: (2007)

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

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

Sequences, combinations
di: Cohn, Leslie
Pubblicazione: (1969)

Lambda-calculus, combinators, and functional programming
di: Revesz, G E
Pubblicazione: (1989)

A Genetic switch: phage and higher organisms
di: Ptashne, Mark
Pubblicazione: (1992)

Calculus /
di: Thomas, George B.
Pubblicazione: (2009)

Introduction to calculus and analysis /
di: Courant, Richard
Pubblicazione: (1974)

Introduction to the Calculus of Variations
di: Brechtken-Manderscheid, U
Pubblicazione: (1991)

An introduction to the infinitesimal calculus,
di: Caunt, G. W.
Pubblicazione: (1931)

Calculus /
di: Anton, Howard
Pubblicazione: (2010)

Calculus /
di: Spivak, Michael
Pubblicazione: (1973)

Calculus /
di: Anton, Howard
Pubblicazione: (2002)

Calculus /
di: Thomas, George B.
Pubblicazione: (1964)

Calculus /
di: Ford, Lester R. (Sr)
Pubblicazione: (1963)

Calculus /
di: Loomis, Lynn
Pubblicazione: (1975)

Calculus /
di: Loomis, Lynn
Pubblicazione: (1974)

Calculus/
di: Strang,Gilbert
Pubblicazione: (2010)

Calculus
di: Agnew, Ralph Palmer
Pubblicazione: (1962)

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

Calculus /
di: Anton, Howard, Etc
Pubblicazione: (2002)

Calculus
di: Apostol,Tom M
Pubblicazione: (2007)

Calculus
di: Apostol,Tom M

Calculus
di: Howard Anton
Pubblicazione: (2002)

Calculus :an introduction to applied mathematics
di: Greenspan, Harvey P
Pubblicazione: (1973)

Rigveda ; gurudakshinabhashyam/
di: Chandrasekharan Nair
Pubblicazione: (2014)

Bacteriophage lambda
di: Hershey, A D

Bacteriophage lambda
di: Hershey, A D
Pubblicazione: (1971)

Bacteriophage lambda
di: Hershey, A D
Pubblicazione: (1971)

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

Introduction to calculus and classical analysis /
di: Hijab, Omar
Pubblicazione: (2007)

Tensor Calculus
di: Synge, J. L
Pubblicazione: (1949)

Integral calculus
di: Shanti Narayan
Pubblicazione: (2005)

Calculus /
di: Anton, Howard
Pubblicazione: (2011)