Similar Items: Extensional and Non-extensional Functions as Processes
- Converse extensionality and apartness
- The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
- Proving Soundness of Extensional Normal-Form Bisimilarities
- Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
- Univalence without function extensionality
- Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative