Citação norma APA

Rocha, P., & Caires, L. (2021). Propositions-as-types and shared state.

Citação norma Chicago

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

Citação norma MLA

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

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