Effectively given domains
type: Item
instance of: scholarly article
title: Effectively given domains
zbMATH Open document ID: 0429.03028
DOI: 10.1016/0304-3975(77)90045-7
published in: Theoretical Computer Science
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D60
zbMATH DE Number: 3668585
zbMATH Keywords: effectively given domain
zbMATH Keywords: continuous lattices
zbMATH Keywords: rational structure
zbMATH Keywords: recursive domain equations
zbMATH Keywords: complete partial orders
author: Michael B. Smyth
MaRDI profile type: Publication
full work available at URL: 0304-3975(77)90045-7
OpenAlex ID: W2073030937
cites work: Computability concepts for programming language semantics
cites work: Bases for Chain-complete Posets
cites work: Q5181669
cites work: A Powerdomain Construction
cites work: Q4080709
cites work: Q5573961
cites work: Q5649639
cites work: Data Types as Lattices
cites work: Q4195918
description: scientific article; zbMATH DE number 3668585