Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture

Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky. Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. Logical Methods in Computer Science, 15(1), 2019. [doi]

Abstract

Abstract is missing.