Semantics of a sequential language for exact real-number computation
Theoretical Computer Science
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lower and upper power domain constructions commute on all cpos
Information Processing Letters
Fundamenta Informaticae
Hi-index | 0.00 |