Recursion principles for syntax with bindings and substitution (Q5176985)
From MaRDI portal
scientific article; zbMATH DE number 6411557
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recursion principles for syntax with bindings and substitution |
scientific article; zbMATH DE number 6411557 |
Statements
Recursion principles for syntax with bindings and substitution (English)
0 references
5 March 2015
0 references
lambda calculus
0 references
recursion
0 references
substitution
0 references
syntax with bindings
0 references
