Constructs powerdomains in synthetic domain theory that give computationally adequate models of nondeterminism and embed into dependent type theory.
Papers presented at the 2002 IEEE Symposium on Logic in Computer Science (LICS)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
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.