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   Functional

Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)


Free Shipping Included! Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations) by Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and The British Computer Society,


Product Description

The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and The British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertations are selected on behalf of the CPHC by a panel of eight academics. Each dissertation chosen makes a noteworthy contribution to the subject and reaches a high standard of exposition, placing all results clearly in the context of computer science as a whole. In this way computer scientists with significantly different interests are able to grasp the essentials - or even find a means of entry - to an unfamiliar research topic. This book develops a theory of game semantics, a recently discovered setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with rich type structure, and applies it to constr uct a fully abstract model of the metalanguage FPC.

Additional Information

Manufacturer:Springer
Publisher:Springer
Studio:Springer
EAN:9783540762553
Item Weight:0 pounds
Item Size:0.75 x 9.5 x 9.5 inches
Package Weight:0.97 pounds
Package Size:6.25 x 0.75 x 0.75 inches

Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations) by Springer

Buy Now:
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)

Brand: Springer
4.2 out of 5 stars with 75 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$136.00


Quantity:  

 


View More In Functional.

 


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


The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data
By Gray Peter M D Kerschberg Larry King Peter J H
ean: 9783642055751, isbn: 3642055753,
It is over 20 years since the functional data model and functional programming languages were first introduced to the computing community. Although developed by separate research communities, recent work, presented in this book, suggests there is pow...

Convex Analysis and Monotone Operator Theory in Hilbert Spaces (CMS Books in Mathematics)
By Springer
ean: 9781441994660, isbn: 1441994661,
This book provides a largely self-contained account of the main results of convex analysis and optimization in Hilbert space. A concise exposition of related constructive fixed point theory is presented, that allows for a wide range of algorithms to ...

6009: Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings (Lecture Notes in Computer Science)
By Blume Matthias Kobayashi Naoki Vidal German
sku: 9783642122507, mpn: Illustrations, ean: 9783642122507, isbn: 3642122507,
This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010),held in Sendai, Japan, April 19–21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues c...

Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada (Lecture Notes in Computer Science)
By Peter E Lauer
ean: 9783540568834, isbn: 3540568832,
This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualization, ...

Ideal Sequence Design in Time-Frequency Space: Applications to Radar, Sonar, and Communication Systems (Applied and Numerical Harmonic Analysis)
By Brand: Birkhäuser
ean: 9780817647377, isbn: 0817647376,
This book develops theory and algorithms leading to systematic waveform design in time-frequency space. The key tool employed in the work is the Zak transform, which provides a two-dimensional image for sequences, the Fourier transform, convolution, ...

Numerical Methods for the Solution of Ill-Posed Problems (Mathematics and Its Applications)
By Brand: Springer
ean: 9780792335832, isbn: 079233583X,
Many problems in science, technology and engineering are posed in the form of operator equations of the first kind, with the operator and RHS approximately known. But such problems often turn out to be ill-posed, having no solution, or a non-unique s...

Computational Techniques for the Summation of Series
By Anthony Sofo
ean: 9780306478055, isbn: 0306478056,
"This book collects in one volume the author’s considerable results in the area of the summation of series and their representation in closed form, and details the techniques by which they have been obtained... the calculations are given in plenty ...

Fundamentals of Wavelets: Theory, Algorithms, and Applications
By Wiley
ean: 9780470484135, isbn: 0470484136,
Most existing books on wavelets are either too mathematical or they focus on too narrow a specialty. This book provides a thorough treatment of the subject from an engineering point of view. It is a one-stop source of theory, algorithms, applications...

Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
By Brand: Birkhäuser
ean: 9780817636548, isbn: 0817636544,
This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit­ man, in 1986. In addition to a general effort to improve typography, English, and presentation, th...

Writing Testbenches: Functional Verification of HDL Models
By Continuum
ean: 9781402074011, isbn: 1402074018,
mental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a synthesis productivity breakthrough. In the second edition of Writing Testbenches, Bergeron raises the verification le...



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