Pages that link to "Item:Q5108024"

The following pages link to Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities (Q5108024):

Displaying 3 items.

• The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
• Infinitary action logic with exponentiation (Q2067638) (← links)
• Soft subexponentials and multiplexing (Q2096472) (← links)