Picture for Yunus Kutz

Yunus Kutz

Nominal Unification and Matching of Higher Order Expressions with Recursive Let

Add code
Feb 16, 2021
Figure 1 for Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Figure 2 for Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Figure 3 for Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Viaarxiv icon