Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Programming Languages   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


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...

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...

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...

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...

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...

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 ...

ean: 9781402017278, isbn: 1402017278,
Modem computer systems possess two main characteristics: their ever­ growing complexity and the increasing number and range of abnormal situa­ tions they have to cope with successfully in order to deliver the service. Developing such systems is ade...

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...

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...

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.