Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515)
From MaRDI portal
scientific article; zbMATH DE number 7527238
Language | Label | Description | Also known as |
---|---|---|---|
English | Nominal Unification and Matching of Higher Order Expressions with Recursive Let |
scientific article; zbMATH DE number 7527238 |
Statements
Nominal Unification and Matching of Higher Order Expressions with Recursive Let (English)
0 references
16 May 2022
0 references
nominal unification
0 references
lambda calculus
0 references
higher-order expressions
0 references
recursive let
0 references
atom variables
0 references
0 references
0 references
0 references