Partial hyperdoctrines: categorical models for partial function logic and Hoare logic (Q4302334): Difference between revisions

@@ Property / author @@
-Peter M. W. Knijnenburg
@@ Property / author: Peter M. W. Knijnenburg / rank @@
-Normal rank
@@ Property / author @@
+Peter M. W. Knijnenburg
@@ Property / author: Peter M. W. Knijnenburg / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A note on undefined expression values in programming logics
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Dominical categories: recursion theory without elements
+Normal rank
@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical treatment of pre- and post-conditions
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4302334