Citação norma APA

Rocha, Pedro, & Caires, Luís. (2022). Propositions-as-types and shared state.

Citação norma Chicago

Rocha, Pedro, and Caires, Luís. Propositions-as-types and Shared State. 2022.

Citação norma MLA

Rocha, Pedro, and Caires, Luís. Propositions-as-types and Shared State. 2022.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.