Pages that link to "Item:Q1744443"

The following pages link to Formalized meta-theory of sequent calculi for substructural logics (Q1744443):

Displaying 5 items.

• Constructive and mechanised meta-theory of intuitionistic epistemic logic (Q2151399) (← links)
• Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
• Mechanizing focused linear logic in Coq (Q2333326) (← links)
• Formalized meta-theory of sequent calculi for linear logics (Q2424887) (← links)
• (Q6060676) (← links)