Pages that link to "Item:Q2301323"

The following pages link to Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (Q2301323):

Displaying 3 items.

• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (Q2301323) (← links)
• Substitution inconsistencies in Transparent Intensional Logic (Q5862004) (← links)
• Type polymorphism, natural language semantics, and TIL (Q6156627) (← links)