Corrigendum: On infinite computations in denotational semantics
type: Item
instance of: scholarly article
title: Corrigendum: On infinite computations in denotational semantics
zbMATH Open document ID: 0533.68020
DOI: 10.1016/0304-3975(84)90019-7
author: J. W. de Bakker
author: John-Jules Meyer
author: Jeffery Zucker
published in: Theoretical Computer Science
publication date: 1984-01-01T00:00:00Z
review text: Concerns Theor. Comput. Sci. 26, 53-82 (1983; Zbl 0514.68018).
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3846846
MaRDI profile type: Publication
full work available at URL: 0304-3975(84)90019-7
OpenAlex ID: W4212950589
Recommended article: Corrigendum to ``Semantics of a declarative language''
Recommended article: Correction to 'Representational and denotational semantics of digital systems'
Recommended article: Q3221399
Recommended article: Q4499219
Recommended article: The infinite-valued semantics: overview, recent results and future directions
Recommended article: CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
Recommended article: Correction to ``Survey of generalizations of Urquhart semantics''
Recommended article: Corrigendum to “Kripke‐style semantics for many‐valued logics”
Recommended article: Infinite Computation, Co-induction and Computational Logic
Recommended article: Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics''
description: scientific article; zbMATH DE number 3846846