Fuzzy models of linear logic

Mathematical Structures in Computer Science

Volumn 6, Issue 3, 1996, Pages 301-312

  Barr, Michael ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS CATEGORIES; CATEGORY OF FUZZY RELATIONS; COFREE COALGEBRAS; FUZZY MODELS; LINEAR LOGIC;

SET THEORY;

EID: 0012737012     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S096012950000102X     Document Type: Article

References (3)

1. Barr, M. (1979) "-Autonomous categories. Springer-Verlag Lecture Notes in Mathematics 752.
2. Barr, M. (1991) "-Autonomous categories and linear logic. Mathematical Structures in Computer Science 1 159-178.
3. Cockett, J. R. B. and Seely, R. A. G. (1992) Weakly distributive categories. In: Fourman, M. P., Johnstone, P. T. and Pitts, A. M. (eds.) Applications of Categories to Computer Science. London Mathematical Society Lecture Note Series 177 45-65. (Expanded version to appear in Journal of Pure and Applied Algebra.)