Weakly Distributive Categories (1991)

Cached

Download Links

by Cockett Seely , J. R. B. Cockett , R. A. G. Seely
Venue:Journal of Pure and Applied Algebra
Citations:112 - 19 self

Documents Related by Co-Citation

67 Natural Deduction and Coherence for Weakly Distributive Categories – R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble - 1991
423 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
102 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989
131 The structure of multiplicatives – Vincent Danos, Laurent Regnier - 1989
83 Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus – Peter Selinger, I Nger - 1999
59 Natural associativity and commutativity – Saunders Mac Lane - 1963
919 Categories for the working mathematician – Mac Lane, S - 1971
115 autonomous categories – M Barr - 1980
321 λµ-calculus: an algorithmic interpretation of classic natural deduction – M Parigot - 1992
10 On the geometry of interaction for classical logic – Carsten Führmann, David Pym - 2004
21 Order-enriched categorical models of the classical sequent calculus – Carsten Führmann, David Pym - 2003
160 A new constructive logic: Classical logic – Jean-Yves Girard - 1991
9 Modelling linear logic without units (preliminary results). Available at http://arxiv.org/abs/math/0504037 – Robin Houston, Dominic Hughes, Andrea Schalk - 2005
20 Naming proofs in classical propositional logic – François Lamarche, Lutz Straßburger
42 Categories for the Working Mathematician. Number 5 – Saunders Mac Lane - 1971
14 On proof nets for multiplicative linear logic with units – Lutz Straßburger, François Lamarche - 2004
4 On the Geometry of Interaction for Classical Logic (Extended Abstract) – Carsten Führmann, David Pym
210 Closed categories – Samuel Eilenberg, G Max Kelly - 1965
99 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995