Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (Q2301323)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7173014
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Substitution contradiction, its resolution and the Church-Rosser theorem in TIL |
scientific article; zbMATH DE number 7173014 |
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
0.8015047311782837
0 references
0.7076123356819153
0 references
0.6891211271286011
0 references
0.684480607509613
0 references
