Pages that link to "Item:Q2229156"
From MaRDI portal
The following pages link to A fresh view of linear logic as a logical framework (Q2229156):
Displaying 4 items.
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- A formally verified cut-elimination procedure for linear nested sequents for tense logic (Q2142082) (← 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)
