1 results
Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 4 / Issue 2 / June 1994
- Published online by Cambridge University Press:
- 04 March 2009, pp. 117-146
-
- Article
- Export citation