Reasoning Continuously: A Formal Construction of Continuous Proofs. - Tyler Brunet; Eyal Fisher (Stud Logica, 2020)

An Evidence Logic Perspective on Schotch-Jennings Forcing. - Tyler Brunet; Gillman Payette (WoLLIC, 2023)