On denotational completeness
type: Item
instance of: scholarly article
title: On denotational completeness
zbMATH Open document ID: 0959.03050
DOI: 10.1016/S0304-3975(99)00055-9
author: Jean-Yves Girard
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 1495163
zbMATH Keywords: semantical completeness
zbMATH Keywords: linear logic
zbMATH Keywords: denotational semantics
zbMATH Keywords: coherent spaces
zbMATH Keywords: commutative Par-monoid
zbMATH Keywords: essential clique
MaRDI profile type: Publication
Recommended article: Q4499219
Recommended article: Q4222828
Recommended article: Completeness in Proof-Theoretic Semantics
Recommended article: Q4397034
Recommended article: Q3086771
Recommended article: The completeness of functional logic
Recommended article: Q4793765
Recommended article: ON EQUATIONAL COMPLETENESS THEOREMS
Recommended article: Q5193044
Recommended article: Q4660567
description: scientific article; zbMATH DE number 1495163