Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science) - Image 1

£72.50

Birkhauser Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

Name: Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)
Brand: Birkhauser
Price: 72.5 GBP
Availability: InStock

Interface Design

This is the most expensive it has ever been. Walk away.

£73 today · previous high £73 · all-time low £47

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 565 days • 565 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 565 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £72 (254 days, 45.0%)

Price range: £47 - £72

Price levels: 4 different prices over 565 days

Description

This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human centered information retrieval in software libraries. By means of a deep study of the syntax of the now widely known typed A-ca1culus, it is possible to identify some simple equations between types that on one hand allow to improve the design of the ML language, and on the other hand provide the basis for building radically new information retrieval systems for functional software libraries. We present in this book both the theoretical aspects of these researches and a fully functional implementation of some of their applications in such a way to provide interesting material both for the theoretician looking for proofs and for the practitioner interested in implementation details. In order to make it possible for these different types of readers to use this book effectively, some special signs are used to designate material that is particularly technical or applied or that represents a digression. When the symbol appears at the beginning of a section or a subsection, it warns that the material contained in such section is particularly technical with respect to the general level of the chapter or section where it is located. This material is generally reserved to theoreticians and does not need to be read by the casual reader.

Product Specifications

Brand: Birkhauser
Format: hardcover
ASIN: 081763763X
Category: Books > Subjects > Computing & Internet > Programming > Interface Design
Domain: Amazon UK
Release Date: 22 December 1994
Listed Since: 16 December 2006

Barcode

No barcode data available

Birkhauser Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Advanced Topics in Types and Programming Languages

Types & Programming Languages (The MIT Press)

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Type Theory and Formal Proof: An Introduction

Mathematics in Programming

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Programming Language Explorations

Formal Semantics in Modern Type Theories (Cognitive Science: Logic Linguistics and Computer Science Set, 2)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Programming Language Explorations

Programming Languages: Build, Prove, and Compare

Formal Language: A Practical Introduction

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers: 3839 (Lecture Notes in Computer Science, 3839)

Practical Foundations for Programming Languages

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)

Thinking About Programs (ACM Books)

Verified Functional Programming in Agda (ACM Books)

Springer Computational Artifacts - Philosophy of Computer Science

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant