Similar Items: Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
- Revisiting Call-by-value Böhm trees in light of their Taylor expansion
- Gems of Corrado Böhm
- Extensional and Non-extensional Functions as Processes
- Kripke Semantics for Martin-Löf's Extensional Type Theory
- Converse extensionality and apartness
- Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture