2 papers
cs.LO2024
: a Family of Extensional Type Theories with Effectful Realizers of Continuity
Liron Cohen, Vincent Rahli
is a generic family of effectful, extensional type theories with a forcing interpretation parameterized by modalities. This paper identifies a subcl…
cs.DC2024
Practical Byzantine Reliable Broadcast on Partially Connected Networks (Extended version)
Silvia Bonomi, Jérémie Decouchant, Giovanni Farina +2
In this paper, we consider the Byzantine reliable broadcast problem on authenticated and partially connected networks. The state-of-the-art method to solve this problem consists in…