Coherent Banach spaces: A continuous denotational semantics
type: Item
instance of: scholarly article
title: Coherent Banach spaces: A continuous denotational semantics
zbMATH Open document ID: 0952.03025
DOI: 10.1016/S0304-3975(99)00056-0
author: Jean-Yves Girard
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 46B99
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 1495162
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: continuous semantics
zbMATH Keywords: comonoid
zbMATH Keywords: denotational semantics
zbMATH Keywords: Banach spaces
zbMATH Keywords: linear logic
zbMATH Keywords: coherence
zbMATH Keywords: norm
zbMATH Keywords: positive connectives
zbMATH Keywords: negative connectives
zbMATH Keywords: topological Cartesian closed category
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1495162