Similar Items: Converse extensionality and apartness
- Extensional and Non-extensional Functions as Processes
- Proving Soundness of Extensional Normal-Form Bisimilarities
- Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
- Precompact Apartness Spaces
- Relating Apartness and Bisimulation
- Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative