Pages that link to "Item:Q5111322"

The following pages link to A fibrational framework for substructural and modal logics (Q5111322):

Displaying 25 items.

• An algebraic approach to subframe logics. Modal case (Q540406) (← links)
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
• A message-passing interpretation of adjoint logic (Q2035649) (← links)
• Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
• A fresh view of linear logic as a logical framework (Q2229156) (← links)
• Multiplicative linear logics and fibrations (Q2842824) (← links)
• (Q3012537) (← links)
• (Q4279085) (← links)
• (Q4580320) (← links)
• A uniform framework for substructural logics with modalities (Q4645752) (← links)
• (Q4708918) (← links)
• (Q4873969) (← links)
• A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
• Back to futures (Q5063251) (← links)
• A fibrational framework for substructural and modal logics (Q5111322) (← links)
• (Q5155672) (← links)
• Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
• A linear logic framework for multimodal logics (Q5889307) (← links)
• LNL polycategories and doctrines of linear logic (Q6135749) (← links)
• A general framework for the semantics of type theory (Q6149910) (← links)
• UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
• Modal crash types for intermittent computing (Q6535235) (← links)
• A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
• Normalization for multimodal type theory (Q6649430) (← links)
• A linear algebra approach to linear metatheory (Q6657791) (← links)