Logic of plotkin continuous domain

DOI10.1007/3-540-59175-3_89zbMath1495.03049OpenAlexW1584900391MaRDI QIDQ5096332

Benedito Melo Acióly, Benjamín René Callejas Bedregal

Publication date: 16 August 2022

Published in: LATIN '95: Theoretical Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59175-3_89

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (1)

Continuous Domains and their Information System Representation as Logical Systems

Cites Work

• Domain theory in logical form
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logic of plotkin continuous domain