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