Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (Q2301323)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Substitution contradiction, its resolution and the Church-Rosser theorem in TIL |
scientific article |
Statements
Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (English)
0 references
24 February 2020
0 references
collision-less substitution
0 references
free occurrence of a variable
0 references
double execution
0 references
\(\beta\)-reduction by name
0 references
Church-Rosser theorem
0 references
0 references
0 references
