Pages that link to "Item:Q4577986"
From MaRDI portal
The following pages link to An explicit formula for the free exponential modality of linear logic (Q4577986):
Displaying 11 items.
- Cartesian differential categories as skew enriched categories (Q825992) (← links)
- Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
- Exponential functions in Cartesian differential categories (Q2035864) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- Acyclicity and Coherence in Multiplicative Exponential Linear Logic (Q3613361) (← links)
- (Q4282602) (← links)
- (Q5019656) (← links)
- (Q5020625) (← links)
- (Q6083353) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)