Highly Influenced

# Categories for computation in context and unified logic

@inproceedings{Blute2003CategoriesFC, title={Categories for computation in context and unified logic}, author={Richard Blute}, year={2003} }

- Published 2003

In this paper we introduce context categories to provide a framework for computations in context. The structure also provides a basis for developing the categorical proof theory of Girard’s unified logic. A key feature of this logic is the separation of sequents into classical and linear zones. These zones may be modelled categorically as a context/computation separation given by a fibration. The perspective leads to an analysis of the exponential structure of linear logic using strength (or… CONTINUE READING