The following pages link to Computer Science Logic (Q5394578):
Displaying 7 items.
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Resourceful program synthesis from graded linear types (Q2119110) (← links)
- Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
- Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679) (← links)
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (Q5191105) (← links)
- Focused Inductive Theorem Proving (Q5747767) (← links)
