Constructs powerdomains in synthetic domain theory that give computationally adequate models of nondeterminism and embed into dependent type theory.
B.,Power domains and predicate transformers: A topological view, in: J
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Extends TEL to intuitionistic and relevant logics and proves soundness and completeness for relevant TEL based on BS4.
citing papers explorer
-
Powerdomains and nondeterminism in synthetic domain theory
Constructs powerdomains in synthetic domain theory that give computationally adequate models of nondeterminism and embed into dependent type theory.
-
Non-classical Topological Evidence Logic
Extends TEL to intuitionistic and relevant logics and proves soundness and completeness for relevant TEL based on BS4.