Relating categorical semantics for intuitionistic linear logic
type: Item
instance of: scholarly article
title: Relating categorical semantics for intuitionistic linear logic
zbMATH Open document ID: 1067.03067
author: Maria Emilia Maietti
author: Paola Maneggia
author: Eike Ritter
author: Valeria de Paiva
published in: Applied Categorical Structures
publication date: 2005-06-16T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 2176363
zbMATH Keywords: intuitionistic linear logic
zbMATH Keywords: typed lambda calculus
zbMATH Keywords: symmetric monoidal closed categories
zbMATH Keywords: symmetric monoidal adjunctions
zbMATH Keywords: categorical model
Wikidata QID: Q56994542
describes a project that uses: Automath
MaRDI profile type: Publication
full work available at URL: s10485-004-3134-z
OpenAlex ID: W2006319938
cites work: Q3997112
cites work: Q4474834
cites work: Q4281466
cites work: A note on full intuitionistic linear logic
cites work: Q3024825
cites work: Categories for Types
cites work: Linear explicit substitutions
cites work: Q3791120
cites work: Q3994895
cites work: Q4499228
cites work: Q3934579
cites work: Q4499227
cites work: The linear abstract machine
cites work: Q3727946
cites work: Q5639839
cites work: An internal language for autonomous categories
cites work: Q4508305
cites work: The formal theory of monads
DOI: 10.1007/S10485-004-3134-Z
description: scientific article; zbMATH DE number 2176363