Category theory for linear logicians

&
In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. pp. 316--3 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Questions and answers–a category arising in linear logic, complexity theory, and set theory.Andreas Blass - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in Linear Logic. Cambridge University Press. pp. 222--61.
Review of Giandomenico Sica (ed.) What is category theory? Polimetrica, 2006. [REVIEW]John Symons - unknown
On three arguments against categorical structuralism.Makmiller Pedroso - 2009 - Synthese 170 (1):21 - 31.
Adding linear orders.Saharon Shelah & Pierre Simon - 2012 - Journal of Symbolic Logic 77 (2):717-725.
Order algebras as models of linear logic.Constantine Tsinakis & Han Zhang - 2004 - Studia Logica 76 (2):201 - 225.
Category theory: The language of mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
(Math, science, ?).M. Kary - 2009 - Axiomathes 19 (3):61-86.
The shuffle Hopf algebra and noncommutative full completeness.R. F. Blute & P. J. Scott - 1998 - Journal of Symbolic Logic 63 (4):1413-1436.
From sets to types to categories to sets.Steve Awodey - 2009 - Philosophical Explorations.
Outline of a Paraconsistent Category Theory.Otavio Bueno - unknown
Sets, classes, and categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
On the concept of the scale.Frank Foulks - 1999 - Journal of Philosophical Logic 28 (3):235-264.
Enriched stratified systems for the foundations of category theory.Solomon Feferman - unknown
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic.Kosta Došen & Zoran Petrić - 1999 - Journal of Symbolic Logic 64 (1):227-242.

Analytics

Added to PP
2014-01-28

Downloads
43 (#352,595)

6 months
9 (#250,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.
Abstract logical structuralism.Jean-Pierre Marquis - 2020 - Philosophical Problems in Science 69:67-110.
A comparison between monoidal and substructural logics.Clayton Peterson - 2016 - Journal of Applied Non-Classical Logics 26 (2):126-159.
Coherence in linear predicate logic.Kosta Došen & Zoran Petrić - 2009 - Annals of Pure and Applied Logic 158 (1-2):125-153.
Weak typed Böhm theorem on IMLL.Satoshi Matsuoka - 2007 - Annals of Pure and Applied Logic 145 (1):37-90.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references