Pages that link to "Item:Q2398205"

The following pages link to Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205):

Displaying 2 items.

• Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
• Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)