Pages that link to "Item:Q1288178"

The following pages link to Uniqueness of normal proofs in implicational intuitionistic logic (Q1288178):

Displaying 3 items.

• On the membership problem for non-linear abstract categorial grammars (Q972435) (← links)
• Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) (← links)
• A Datalog Recognizer for Almost Affine λ-CFGs (Q3172825) (← links)