Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic, and Sato, Tetsuya. Graded Hoare Logic and its Categorical Semantics. Retrieved from https://par.nsf.gov/biblio/10233608. Lecture notes in computer science 12648.Programming Languages and Systems. ESOP 2021. Web. doi:10.1007/978-3-030-72019-3_9.

Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic, & Sato, Tetsuya. Graded Hoare Logic and its Categorical Semantics. Lecture notes in computer science, 12648 (Programming Languages and Systems. ESOP 2021.). Retrieved from https://par.nsf.gov/biblio/10233608. https://doi.org/10.1007/978-3-030-72019-3_9

Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic, and Sato, Tetsuya. "Graded Hoare Logic and its Categorical Semantics". Lecture notes in computer science 12648 (Programming Languages and Systems. ESOP 2021.). Country unknown/Code not available. https://doi.org/10.1007/978-3-030-72019-3_9. https://par.nsf.gov/biblio/10233608.

@article{osti_10233608,
place = {Country unknown/Code not available}, title = {Graded Hoare Logic and its Categorical Semantics}, url = {https://par.nsf.gov/biblio/10233608}, DOI = {10.1007/978-3-030-72019-3_9}, abstractNote = {}, journal = {Lecture notes in computer science}, volume = {12648}, number = {Programming Languages and Systems. ESOP 2021.}, author = {Gaboardi, Marco and Katsumata, Shin-ya and Orchard, Dominic and Sato, Tetsuya}, editor = {Yoshida, Nobuko} }