Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Lower and upper power domain constructions commute on all cpos
Information Processing Letters
Hi-index | 0.00 |