The following pages link to (Q4012880):
Displaying 7 items.
- Mechanizing type environments in weak HOAS (Q897934) (← links)
- Operational semantics and generalized weakest preconditions (Q1330453) (← links)
- Formal foundations of operational semantics (Q1426872) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- A natural deduction approach to dynamic logic (Q4647578) (← links)
- (Q4867684) (← links)
- Efficient Substitution in Hoare Logic Expressions (Q4921508) (← links)