Categories for Types (Studies in Emotion and Social Interaction) - Image 1

£114.69

Cambridge University Press Categories for Types (Studies in Emotion and Social Interaction)

Name: Categories for Types (Studies in Emotion and Social Interaction)
Brand: Cambridge University Press
Price: 112.09 GBP
Availability: InStock

Languages

Price History & Forecast

Last 89 days • 89 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 89 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £117 (64 days, 71.9%)

Price range: £112 - £117

Price levels: 5 different prices over 89 days

Description

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.

Key Features

Used Book in Good Condition

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 0521450926
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 27 January 1994
Listed Since: 08 January 2007

Barcode

No barcode data available

Cambridge University Press Categories for Types (Studies in Emotion and Social Interaction)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics: 38 (Lecture Notes in Logic, Series Number 38)

Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

An Introduction to Quantum Theory

An Introduction to Involutive Structures: 6 (New Mathematical Monographs, Series Number 6)

Semantics: An Interdisciplinary Reader in Philosophy, Linguistics and Psychology

Perspectives on Language and Thought: Interrelations in Development

A Second Course on Real Functions

Ordered Sets: An Introduction with Connections from Combinatorics to Topology

Hunting Causes and Using Them: Approaches in Philosophy and Economics

Topology for Computing: 16 (Cambridge Monographs on Applied and Computational Mathematics, Series Number 16)

Multifunctorial Equivariant Algebraic K-Theory (London Mathematical Society Lecture Note Series)

The Theory of Finite Linear Spaces: Combinatorics of Points and Lines

Indefinites and the Type of Sets: 03 (Explorations in Semantics)

Combinatorics, Automata and Number Theory: 135 (Encyclopedia of Mathematics and its Applications, Series Number 135)

Abductive Inference: Computation, Philosophy, Technology

Numerical Notation: A Comparative History

Formulaic Language and the Lexicon

An Introduction to Radio Frequency Engineering

Evolution of Semantic Systems

Interaction and Grammar: 13 (Studies in Interactional Sociolinguistics, Series Number 13)

K-Theory and Representation Theory: 494 (London Mathematical Society Lecture Note Series, Series Number 494)

Introduction to Algebraic Geometry