Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
type: Item
instance of: scholarly article
title: Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
zbMATH Open document ID: 1039.03047
DOI: 10.1016/S0304-3975(01)00176-1
author: Lorenzo Tortora de Falco
published in: Theoretical Computer Science
publication date: 2003-07-29T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1956201
zbMATH Keywords: additive connectives
zbMATH Keywords: cut elimination
zbMATH Keywords: proof-nets with jumps
zbMATH Keywords: confluence
zbMATH Keywords: linear logic
zbMATH Keywords: Church-Rosser property
MaRDI profile type: Publication
cites work: The structure of multiplicatives
cites work: Q4842980
cites work: Q3791120
cites work: Light linear logic
cites work: Q3477935
cites work: Q4263872
cites work: The additive multiboxes
full work available at URL: s0304-3975(01)00176-1
OpenAlex ID: W1982425141
description: scientific article; zbMATH DE number 1956201