TY  - RPRT
TI  - Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
AU  - Benedetto Intrigila
AU  - Giulio Manzonetto
AU  - Andrew Polonsky
PY  - 2019
DO  - 10.23638/lmcs-15(1:6)2019
UR  - https://arxiv.org/abs/1802.07320
ID  - 1802.07320
ER  -