Hopp til hovedinnhold
Placeholder image

Lambda-calculus, Combinators and Functional Programming

Revesz, G. E.

Produseres på bestilling

Leveringstid: 3-10 dager

Handlinger

Beskrivelse

Omtale

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated.

  • Utgivelsesdato:

    25.06.2009

  • ISBN/Varenr:

    9780521114295

  • Språk:

    Engelsk

  • Forlag:

    Cambridge University Press

  • Innbinding:

    Heftet

  • Fagtema:

    Data- og informasjonsteknologi

  • Serie:

    Cambridge Tracts in Theoretical Computer Science

  • Litteraturtype:

    Faglitteratur

  • Sider:

    192

  • Høyde:

    24.3 cm

  • Bredde:

    17.2 cm

Andre bøker i samme serie

Nonmonotonic Reasoning : Logical Foundations of Commonsense

Nonmonotonic Reasoning : Logical Foundations of Commonsense
Brewka, Gerhard
9780521181303 Heftet
29.03.2012
Engelsk

Produseres på bestilling
Concurrency Verification : Introduction to Compositional and Non-compositional Methods

Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Boer, Frank de • Lakhnech, Yassine • Roever, Willem-Paul de • Hanneman, Ulrich • Poel, Mannes • Hooman, Jozef • Zwiers, Job
9780521169325 Heftet
26.01.2012
Engelsk

Produseres på bestilling
Hybrid Graph Theory and Network Analysis

Hybrid Graph Theory and Network Analysis
Gibbons, Alan • Novak, Ladislav
9780521106597 Heftet
03.09.2009
Engelsk

Produseres på bestilling
Design Theory and Computer Science

Design Theory and Computer Science
Dasgupta, Subrata
9780521118156 Heftet
06.08.2009
Engelsk

Produseres på bestilling
The Clausal Theory of Types

The Clausal Theory of Types
Wolfram, D. A.
9780521117906 Heftet
30.07.2009
Engelsk

Produseres på bestilling
Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification
Melham, T. F.
9780521115322 Heftet
02.07.2009
Engelsk

Produseres på bestilling
Data Refinement : Model-Oriented Proof Methods and their Comparison

Data Refinement : Model-Oriented Proof Methods and their Comparison
Engelhardt, Kai • de Roever, Willem-Paul
9780521103503 Heftet
18.12.2008
Engelsk

Produseres på bestilling
Algebraic Specification of Communication Protocols

Algebraic Specification of Communication Protocols
9780521088121 Heftet
11.12.2008
Engelsk

Produseres på bestilling