sfST and sfTS as Product and Sum. - Quentin Blomet; Paul Égré (J. Philos. Log., 2024)

Reaching Classicality through Transitive Closure. - Quentin Blomet; Bruno Da Ré (CoRR, 2025)