A linear logical framework
type: Item
instance of: scholarly article
title: A linear logical framework
zbMATH Open document ID: 1031.03056
author: Iliano Cervesato
author: Frank Pfenning
published in: Information and Computation
publication date: 2004-03-04T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 1964180
zbMATH Keywords: linear type theory
zbMATH Keywords: logical framework
zbMATH Keywords: linear logic
zbMATH Keywords: deductive systems
describes a project that uses: HOL
describes a project that uses: ML
describes a project that uses: Automath
describes a project that uses: Elf
describes a project that uses: mini-ML
describes a project that uses: Lolli
describes a project that uses: Twelf
MaRDI profile type: Publication
full work available at URL: inco.2001.2951
OpenAlex ID: W3181070739
cites work: Computational interpretations of linear logic
cites work: The lambda calculus, its syntax and semantics
cites work: Q4023825
cites work: Q4281466
cites work: Q4944869
cites work: Efficient resource management for linear logic proof search
cites work: A Linear Spine Calculus
cites work: Q4012882
cites work: Q4385532
cites work: Contraction-free sequent calculi for intuitionistic logic
cites work: Q4012881
cites work: Q3922646
cites work: Linear logic
cites work: On the unity of logic
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: Q5287513
cites work: A simplified account of polymorphic references
cites work: A framework for defining logics
cites work: Logic programming in a fragment of intuitionistic linear logic
cites work: A relevant analysis of natural deduction
cites work: Logical frameworks
cites work: Q4012879
cites work: Structural cut elimination. I: Intuitionistic and classical logic
cites work: Q4249901
cites work: Type inference for polymorphic references
cites work: Strong normalization for typed terms with surjective pairing
cites work: A syntactic approach to type soundness
DOI: 10.1006/INCO.2001.2951
description: scientific article; zbMATH DE number 1964180