£118.07

It has never been this cheap. We have no record of a lower price.

£118 today · cheaper than every other day in the last 3 months

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

View at Amazon

Price History & Forecast

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

Last 72 days · 72 data points (no recent data)

Historical
Generating forecast…
£146.25 £115.25 £122.02 £128.78 £135.54 £142.30 £149.07 11 August 2026 28 August 2026 15 September 2026 03 October 2026 21 October 2026
View at Amazon ↗

Price data last checked 19 day(s) ago - will refresh soon

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 Distribution

Price distribution over 72 days • 5 price levels

Days at Price
Current Price
1 day · current 16 days 7 days 43 days 5 days 0 11 22 32 43 £118 £121 £122 £124 £146 Days at Price

Price Analysis

Most common price: £124 (43 days, 59.7%)

Price range: £118 - £146

Price levels: 5 different prices over 72 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

Format
hardcover
Domain
Amazon UK
Release Date
27 January 1994
Listed Since
08 January 2007

Barcode

No barcode data available

Similar Products You Might Like

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

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

Cambridge University Press

£164.39 22 Oct 2026
Lambda Calculus with Types (Perspectives in Logic)
81% match

Lambda Calculus with Types (Perspectives in Logic)

Cambridge University Press

£73.78 25 Aug 2026
Structural Proof Theory
80% match

Structural Proof Theory

Cambridge University Press

£94.00 26 Oct 2026
Formal Semantics:Cann: An Introduction (Cambridge Textbooks in Linguistics)
80% match

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

Cambridge University Press

£40.86 21 Oct 2026
An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)
80% match

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

Cambridge University Press

£49.99 20 Oct 2026
Categories and Modules with K-Theory in View: 67 (Cambridge Studies in Advanced Mathematics, Series Number 67)
79% match

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

Cambridge University Press

£108.19 29 Aug 2026
Categorical Perception: The Groundwork of Cognition
79% match

Categorical Perception: The Groundwork of Cognition

Cambridge University Press

£48.45 22 Oct 2026
Cut Elimination in Categories: 6 (Trends in Logic, 6)
79% match

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

Springer

£113.09 24 Oct 2026
Automatic Sequences: Theory, Applications, Generalizations
79% match

Automatic Sequences: Theory, Applications, Generalizations

Cambridge University Press

£23.60 28 Oct 2026
Cambridge Logical Foundations of Proof Complexity Book
79% match

Cambridge Logical Foundations of Proof Complexity Book

Cambridge University Press

£96.31 09 Nov 2026
Categories in Social Interaction
79% match

Categories in Social Interaction

Routledge

£39.66 22 Oct 2026
Categorical Ideas As Expressed in the Programming Language Charity: Algebras and Coalgebras
79% match

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

VDM Verlag

£44.00 16 Sep 2026
Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
78% match

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

Cambridge University Press

£139.65 23 Oct 2026
Combinatorial Mathematics
78% match

Combinatorial Mathematics

Cambridge University Press

£62.50 26 Aug 2026
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)
78% match

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

Springer

£76.42 22 Oct 2026
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
78% match

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

Cambridge University Press

£157.99 18 Oct 2026
Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics (Lecture Notes in Logic): 38 (Lecture Notes in Logic, Series Number 38)
78% match

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

Cambridge University Press

£64.99 13 Oct 2026
A Course on Set Theory
78% match

A Course on Set Theory

Cambridge University Press

£39.04 29 Oct 2026
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
78% match

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

Springer

£91.59 23 Oct 2026
Formal Languages in Logic: A Philosophical and Cognitive Analysis
78% match

Formal Languages in Logic: A Philosophical and Cognitive Analysis

Cambridge University Press

£93.07 26 Oct 2026
Cambridge Mathematics of Logic - Completeness Theorems Guide
78% match

Cambridge Mathematics of Logic - Completeness Theorems Guide

Cambridge University Press

£41.02 24 Aug 2026
Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)
78% match

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

Cambridge University Press

£133.49 23 Oct 2026
Anaphora and Type Logical Grammar: 24 (Trends in Logic, 24)
78% match

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

Springer

£118.52 02 Sep 2026
Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics: 346 (Mathematics and Its Applications, 346)
78% match

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

Springer

£76.42 26 Oct 2026