Similar Items: Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
- Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
- Refined Risk Bounds for Unbounded Losses via Transductive Priors
- Kripke Semantics for Martin-Löf's Extensional Type Theory
- Extensional Semantics for Higher-Order Logic Programs with Negation
- Idempotents in intensional type theory
- Extensional and Non-extensional Functions as Processes