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.0 GBP
Availability: InStock

Interface Design

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 33 days • 1 price levels

Days at Price

Price Analysis

Most common price: £72 (33 days, 100.0%)

Price range: £72 - £72

Price levels: 1 different prices over 33 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Birkhauser Semantics of Type Theory - Computer Science Book

Advanced Topics in Types and Programming Languages

The Graph Isomorphism Problem: Its Structural Complexity (Progress in Theoretical Computer Science)

Language Computability and Formal Language Theory

Lectures on the Curry-Howard Isomorphism

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)

Separation in Point-Free Topology

Separation in Point-Free Topology

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Springer Computational Invariant Theory: 130 Mathematics Book

Types & Programming Languages (The MIT Press)

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

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

Separable Type Representations of Matrices and Fast Algorithms: Volume 1 Basics. Completion Problems. Multiplication and Inversion Algorithms: 234 (Operator Theory: Advances and Applications, 234)

Birkhauser Polynomial and Matrix Computations Textbook

Interdisciplinary Knowledge Organization

Algorithmen - Eine Einführung

Formal Language: A Practical Introduction

Computation Engineering: Applied Automata Theory and Logic

Effective Methods in Algebraic Geometry: 94 (Progress in Mathematics)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Semitopological Vector Spaces: Hypernorms, Hyperseminorms, and Operators