Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Languages & Tools   Compilers

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)


Mega Sale! Save 21% on the The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) by Brand: Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique


Product Description

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.

Additional Information

Manufacturer:Springer
Brand:Brand: Springer
Publisher:Springer
Studio:Springer
EAN:9783540200321
Item Weight:1.24 pounds
Item Size:0.69 x 9.21 x 9.21 inches
Package Weight:1.15 pounds
Package Size:6.38 x 0.79 x 0.79 inches

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) by Brand: Springer

Buy Now:
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

Brand: Brand: Springer
4.3 out of 5 stars with 57 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$109.00
$86.14
You Save: 21%


Quantity:  

 


View More In Compilers.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Brand: Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Wiley
ean: 9780471306726, isbn: 047130672X,
This COBOL compiler and its accompanying manual cover the latest educational release of RM/COBOL 85, Version 5.24. This package enables students to do their homework on PCs in the home instead of a crowded lab. Manufactured by Liant Corporation, this...

By Springer
ean: 9783319498119, isbn: 3319498118,
Static analysis of software with deductive methods is a highly dynamic fieldof research on the verge of becoming a mainstream technology in softwareengineering. It consists of a large portfolio of - mostly fully automated -analyses: formal verificati...

By Brand: Springer
ean: 9780792397700, isbn: 0792397703,
Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object orientation raises hopes for increased productivity of software generation and maintenance methods. Parallelism...

By Brand: Springer
ean: 9781461395775, isbn: 1461395771,
The programming language SETL is a relatively new member of the so-called "very-high-level" class of languages, some of whose other well-known mem­ bers are LISP, APL, SNOBOL, and PROLOG. These languages all aim to reduce the cost of programming, re...

By Prentice Hall
ean: 9780138380120, isbn: 0138380120,
Prentice Hall's most important C programming title in years. A companion volume to Kernighan & Ritchie's C PROGRAMMING LANGUAGE. A collection of reusable functions (code for building data structures, code for performing math functions and scienti...

By Michael Mintz
ean: 9780767411318, isbn: 0387255435,
Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification.Takes a realistic view of reusability and distills lessons learned down to a tool box ...

By Brand: Springer
ean: 9783540669388, isbn: 3540669388,
MMIX is a RISC computer designed by Don Knuth to illustrate machine-level aspects of programming. In the author's book series "The Art of Computer Programming", MMIX replaces the 1960s-style machine MIX. A particular goal in the design of MMIX was to...

By Springer
ean: 9780387969152, isbn: 0387969152,
This book is an introduction to NeWS: the Networked, Extensible, Window System from Sun Microsystems. It is oriented towards people who have a basic knowledge of programming and window systems who would like to understand more about window systems in...

By Brand: CRC Press
ean: 9780849328800, isbn: 0849328802,
Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software...

By Brand: Birkhäuser
sku: 9780817647049, mpn: 26030621, ean: 9780817647049, isbn: 081764704X,
Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is ...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.