Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
type: Item
instance of: scholarly article
title: Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
zbMATH Open document ID: 0951.03058
DOI: 10.1016/S0304-3975(99)00058-4
author: Mitsuhiro Okada
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1495160
zbMATH Keywords: first-order linear logic
zbMATH Keywords: cut-elimination
zbMATH Keywords: higher-order linear logic
zbMATH Keywords: phase semantics
zbMATH Keywords: proof-normalization
MaRDI profile type: Publication
full work available at URL: s0304-3975(99)00058-4
OpenAlex ID: W2024442214
description: scientific article; zbMATH DE number 1495160