New Curry-Howard terms for full linear logic
type: Item
instance of: scholarly article
title: New Curry-Howard terms for full linear logic
zbMATH Open document ID: 0896.03046
DOI: 10.1016/S0304-3975(97)00044-3
author: David Albrecht
author: John N. Crossley
author: John S. Jeavons
published in: Theoretical Computer Science
publication date: 1998-07-22T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 1177657
zbMATH Keywords: linear logic
zbMATH Keywords: natural deduction
zbMATH Keywords: term calculus
zbMATH Keywords: strong normalization
MaRDI profile type: Publication
cites work: Computational interpretations of linear logic
cites work: Q4281466
cites work: The calculus of constructions
cites work: Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi
cites work: Linear logic
cites work: Bounded linear logic: A modular approach to polynomial-time computability
cites work: Q4692468
cites work: Q3922646
cites work: Lambda calculus and intuitionistic linear logic
cites work: Q5610986
cites work: Natural deduction for intuitionistic linear logic
Recommended article: Curry-Howard terms for linear logic
Recommended article: Extending the Curry-Howard interpretation to linear, relevant and other resource logics
Recommended article: Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
Recommended article: Extended Curry-Howard terms for second-order logic
Recommended article: Full intuitionistic linear logic
Recommended article: A note on full intuitionistic linear logic
Recommended article: Bounded Linear Logic, Revisited
Recommended article: Q4281466
Recommended article: Q4327828
description: scientific article; zbMATH DE number 1177657