The following pages link to (Q4761669):
Displaying 9 items.
- On translating Lambek grammars with one division into context-free grammars (Q511445) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Syntactic characterizations of completeness using duals and operators (Q2903761) (← links)
- Completeness Results for Lambek Syntactic Calculus (Q3724306) (← links)
- Completeness of transfinite evaluation in an extension of the lambda calculus (Q3765742) (← links)
- The Smyth Completion (Q4222778) (← links)
- (Q4273432) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation (Q4981253) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)