Categories in Computer Science and Logic

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Supplemental Materials

Please wait while the item is added to your bag...

Models of Horn theories
Geometric invariance of existential fixed-point logic
On the decidability of objects in a locos
The Dialectica categories
Paiva Combinators
POLYNAT in PER
Towards a geometry of interaction
The category of sketches as a model for algebraic semantics
The theory of constructions: Categorical semantics and topos-theoretic models
A simple model of the theory of constructions
Multicategories revisited
An application of minimal context-free intersection partitions to rewrite rule consistency checking
Qualitative distinctions between some toposes of generalized graphs
Typed lambda models and cartesian closed categories
Some connections between models of computation
Some applications of categorical model theory
Coherence for bicategories with finite Bilimits I
On partial Cartesian closed categories
Normalization revisited
Linear logic, $\ast$-autonomous categories and cofree coalgebras
Table of Contents provided by Publisher. All Rights Reserved.