scientific article

zbMATH Open0607.68064MaRDI QIDQ3746911FDOQ3746911

Carl A. Gunter

Publication date: 1986

Title of this publication is not available (Why is that?)

zbMATH Keywords

category of domainsprogramming semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (7)

• Topical categories of domains
• The asymmetric topology of computer science
• Spectral sets
• Pluri-adjoints and preservation of finite limits
• Some economic applications of Scott domains
• Logic of plotkin continuous domain
• Continuous Domains and their Information System Representation as Logical Systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3746911)