Chapter 1. Abstract syntax
Concepts
- Operator Arity
- Sort
- Variable
- Variable Abstract Syntax Tree Ast
- Operator Abstract Syntax Tree Ast
- Fresh Variable Abstract Syntax Tree Ast
- Substitution Subject Substitution Target
- Capture Avoiding Substitution
- Scope Binding
- Valence Actual Parameter Argument
1 / 2
Content
No content yet.