Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: G
Number of items: 1.

G

Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic, Sato, Tetsuya (2021) Graded Hoare Logic and its Categorical Semantics. European Symposium on Programming 2021, . pp. 234-263. (doi:10.1007/978-3-030-72019-3_9) (KAR id:91713)
Format: PDF

This list was generated on Tue Dec 24 23:21:05 2024 GMT.