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

£118.95

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

Mathematical Logic

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

£119 today · previous high £119 · all-time low £113

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 55 days • 55 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 55 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £117 (37 days, 67.3%)

Price range: £113 - £119

Price levels: 4 different prices over 55 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 > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
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)

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)

Lambda Calculus with Types (Perspectives in Logic)

Structural Proof Theory

Formal Semantics:Cann: An Introduction (Cambridge Textbooks in Linguistics)

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

Categories and Modules with K-Theory in View: 67 (Cambridge Studies in Advanced Mathematics, Series Number 67)

Categorical Perception: The Groundwork of Cognition

Cut Elimination in Categories: 6 (Trends in Logic, 6)

Automatic Sequences: Theory, Applications, Generalizations

Logical Foundations of Proof Complexity (Perspectives in Logic)

Categories in Social Interaction

Categorical Ideas As Expressed in the Programming Language Charity: Algebras and Coalgebras

Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

Combinatorial Mathematics

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)

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)

A Course on Set Theory

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Formal Languages in Logic: A Philosophical and Cognitive Analysis

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Anaphora and Type Logical Grammar: 24 (Trends in Logic, 24)

Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics: 346 (Mathematics and Its Applications, 346)