An abstract factorization theorem for explicit substitutions (Q5111891)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An abstract factorization theorem for explicit substitutions |
scientific article; zbMATH DE number 7205321
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An abstract factorization theorem for explicit substitutions |
scientific article; zbMATH DE number 7205321 |
Statements
27 May 2020
0 references
\(\lambda\)-calculus
0 references
standardization
0 references
explicit substitutions
0 references
abstract rewriting
0 references
diagrammatic reasoning
0 references
0.8036512136459351
0 references
0.7747983336448669
0 references
0.7661827206611633
0 references
0.760600209236145
0 references
0.760600209236145
0 references
