Resource modalities in tensor logic
type: Item
instance of: scholarly article
title: Resource modalities in tensor logic
zbMATH Open document ID: 1223.03048
author: Paul-André Melliès
author: Nicolas Tabareau
published in: Annals of Pure and Applied Logic
publication date: 2011-08-26T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 18C50
zbMATH DE Number: 5943611
zbMATH Keywords: game semantics
zbMATH Keywords: Conway games
zbMATH Keywords: linear logic
zbMATH Keywords: tensor logic
zbMATH Keywords: resource modalities
zbMATH Keywords: categorical semantics
MaRDI profile type: Publication
full work available at URL: j.apal.2009.07.018
OpenAlex ID: W2078730256
cites work: Sequentiality vs. concurrency in games and logic
cites work: Games and full completeness for multiplicative linear logic
cites work: Full abstraction for PCF
cites work: Q4218919
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Q5579535
cites work: Q4474834
cites work: Sequential algorithms on concrete data structures
cites work: Degrees of indeterminacy of games
cites work: A game semantics for linear logic
cites work: Q3416824
cites work: Finiteness spaces
cites work: Linear logic
cites work: A new constructive logic: classic logic
cites work: Completeness of continuation models for \(\lambda_\mu\)-calculus
cites work: On full abstraction for PCF: I, II and III
cites work: Pseudo-commutative monads and pseudo-closed 2-categories
cites work: Semantics of weakening and contraction
cites work: Coherence for compact closed categories
cites work: On Double Dualization Monads.
cites work: Q5726697
cites work: Q3874172
cites work: Q4231031
cites work: CONCUR 2004 - Concurrency Theory
cites work: Asynchronous games 3 an innocent model of linear logic
cites work: Functorial Boxes in String Diagrams
cites work: Q3564946
cites work: An Explicit Formula for the Free Exponential Modality of Linear Logic
cites work: Notions of computation and monads
cites work: Premonoidal categories and notions of computation
cites work: Control categories and duality: On the categorical semantics of the lambda-mu calculus
cites work: Q4222903
DOI: 10.1016/J.APAL.2009.07.018
description: scientific article; zbMATH DE number 5943611