The following pages link to A first order logic of effects (Q1390955):
Displaying 4 items.
- A formalization of programs in first-order logic with a discrete linear order (Q274400) (← links)
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Axioms for strict and lazy functional programs (Q1772783) (← links)
- A variable typed logic of effects (Q1893729) (← links)