Pages that link to "Item:Q2333326"
From MaRDI portal
The following pages link to Mechanizing focused linear logic in Coq (Q2333326):
Displayed 5 items.
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- A formally verified cut-elimination procedure for linear nested sequents for tense logic (Q2142082) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)