Pages that link to "Item:Q972435"

The following pages link to On the membership problem for non-linear abstract categorial grammars (Q972435):

Displayed 4 items.

• An alternate proof of Statman's finite completeness theorem (Q436624) ‎ (← links)
• The IO and OI hierarchies revisited (Q2347807) ‎ (← links)
• Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) ‎ (← links)
• A Datalog Recognizer for Almost Affine λ-CFGs (Q3172825) ‎ (← links)