The following pages link to Computer Science Logic (Q5394569):
Displaying 7 items.
- Justification logic as a foundation for certifying mobile computation (Q408548) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- Automatically Splitting a Two-Stage Lambda Calculus (Q2802484) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- The Logic of Proofs as a Foundation for Certifying Mobile Computation (Q3605521) (← links)
- Weak models of distributed computing, with connections to modal logic (Q5891978) (← links)