Picture for Manfred Schmidt-Schauß

Manfred Schmidt-Schauß

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

A Lambda-Calculus with letrec, case, constructors and non-determinism

Add code
Nov 06, 2000
Figure 1 for A Lambda-Calculus with letrec, case, constructors and non-determinism
Viaarxiv icon