Inductive construction of repletion

DOI10.1023/A:1008604622568MaRDI QIDQ1306716zbMATH OpenFDO

Authors Thomas Streicher

Publication date 1999

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1008604622568

zbMATH Keywords

constructive logicconstructive type theorydenotational semanticsinductive definitionspredomainrepletionsynthetic domain theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Metamathematics of constructive systems (03F50) Categorical logic, topoi (03G30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 956836
• scientific article; zbMATH DE number 1231575
• Repleteness and the associated sheaf
• Convex powerdomains. I

Cited in

(3)

• Axioms and (counter)examples in synthetic domain theory
• scientific article; zbMATH DE number 956836 (Why is no real title available?)
• Observationally-induced effect monads: upper and lower powerspace constructions

This page was built for publication: Inductive construction of repletion

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