Variable binding and substitution for (nameless) dummies (Q6181939)
From MaRDI portal
scientific article; zbMATH DE number 7793039
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Variable binding and substitution for (nameless) dummies |
scientific article; zbMATH DE number 7793039 |
Statements
Variable binding and substitution for (nameless) dummies (English)
0 references
23 January 2024
0 references
syntax
0 references
variable binding
0 references
substitution
0 references
category theory
0 references
