Pages that link to "Item:Q1168319"

The following pages link to A coherence theorem for canonical morphisms in Cartesian closed categories (Q1168319):

Displaying 4 items.

• On the membership problem for non-linear abstract categorial grammars (Q972435) (← links)
• The Cooper storage idiom (Q1711505) (← links)
• Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
• Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) (← links)