Skip to main content
Kent Academic Repository
Simple search | Advanced search

Browse by Journal

[up] Up a level
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: 2021
Number of items: 1.

2021

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

This list was generated on Thu Jun 4 01:27:54 2026 BST.
SensusAccess
Feedback