Propositions-as-types and shared state - Rocha, Pedro (2021)