Pages that link to "Item:Q4031104"
From MaRDI portal
The following pages link to Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation (Q4031104):
Displaying 5 items.
- A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem (Q1185009) (← links)
- A conservative extension of a formal arithmetic (Q1264136) (← links)
- Some results on extensionality in lambda calculus (Q1765154) (← links)
- Church-Rosser property of a simple reduction for full first-order classical natural deduction (Q1861541) (← links)
- [Russian Text Ignored] (Q5895465) (← links)