Pages that link to "Item:Q1119562"

The following pages link to Church-Rosser theorem for a rewriting system on categorical combinators (Q1119562):

Displaying 7 items.

• Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL (Q918956) (← links)
• A notation for lambda terms. A generalization of environments (Q1129257) (← links)
• On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
• The Church Rosser theorem for strong reduction in combinatory logic (Q2537972) (← links)
• On the efficiency of categorical combinators as a rewriting system (Q3782744) (← links)
• The Church-Rosser property in dual combinatory logic (Q4457728) (← links)
• (Q4649558) (← links)