The following pages link to (Q4281486):
Displayed 5 items.
- Non-determinism in Gödel's system \(T\) (Q693050) (← links)
- Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) (← links)
- Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159) (← links)
- The convex powerdomain in a category of posets realized by cpos (Q5057469) (← links)
- Logical Relations and Nondeterminism (Q5256338) (← links)