12 citations · 49 across the 13 of their papers we have counts for
3 papers · 1 filter
Graded Modal Dependent Type Theory
Benjamin Moon, Harley Eades, Dominic Orchard
Graded type theories are an emerging paradigm for augmenting the reasoning power of types with parameterizable, fine-grained analyses of program properties. There have been many su…
Graded Hoare Logic and its Categorical Semantics
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard +1
Deductive verification techniques based on program logics (i.e., the family of Floyd-Hoare logics) are a powerful approach for program reasoning. Recently, there has been a trend o…
Grading Adjoint Logic
Harley Eades, Dominic Orchard
We introduce a new logic that combines Adjoint Logic with Graded Necessity Modalities. This results in a very expressive system capable of controlling when and how structural rules…