APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.