Linear logic and elementary time
type: Item
instance of: scholarly article
title: Linear logic and elementary time
zbMATH Open document ID: 1019.03039
DOI: 10.1016/S0890-5401(03)00010-5
author: Vincent Danos
author: Jean-Baptiste Joinet
published in: Information and Computation
publication date: 2003-08-19T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1967134
zbMATH Keywords: elementary linear logic
zbMATH Keywords: elementary recursive functions
MaRDI profile type: Publication
cites work: Q4936120
cites work: Elementary complexity and geometry of interaction
cites work: Stratified coherence spaces: A denotational semantics for light linear logic
cites work: A new deconstructive logic: linear logic
cites work: Linear logic
cites work: A new constructive logic: classic logic
cites work: Q4222893
cites work: Q3325707
cites work: Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
full work available at URL: s0890-5401(03)00010-5
OpenAlex ID: W2106173595
description: scientific article; zbMATH DE number 1967134