Pages that link to "Item:Q2096472"

The following pages link to Soft subexponentials and multiplexing (Q2096472):

Displaying 4 items.

• Infinitary action logic with exponentiation (Q2067638) (← links)
• Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
• Infinitary action logic with multiplexing (Q2698280) (← links)
• DisCoCat for Donkey Sentences (Q6196501) (← links)