The following pages link to Programs are predicates (Q3347251):
Displaying 5 items.
- An elementary and unified approach to program correctness (Q607408) (← links)
- Unifying Theories of Programming with Monads (Q3455643) (← links)
- (Q3842558) (← links)
- (Q4855375) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)