A representation of SFP
type: Item
instance of: scholarly article
title: A representation of SFP
zbMATH Open document ID: 0794.68095
author: V. Pereyra
published in: Information and Computation
publication date: 1994-05-05T00:00:00Z
full work available at URL: http://hdl.handle.net/2027.42/31665
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 563079
zbMATH Keywords: information systems
zbMATH Keywords: domains
zbMATH Keywords: comple partial order
zbMATH Keywords: denotational semantics of programming languages
zbMATH Keywords: Gentzen style entailment
zbMATH Keywords: category of strongly finite sequent structures
zbMATH Keywords: SFP
zbMATH Keywords: Plotkin powerdomain
zbMATH Keywords: recursively defined domains
MaRDI profile type: Publication
OpenAlex ID: W1972813191
DOI: 10.1006/INCO.1994.1031
description: scientific article; zbMATH DE number 563079