TY  - RPRT
TI  - Nominal Unification of Higher Order Expressions with Recursive Let
AU  - Manfred Schmidt-Schauß
AU  - Temur Kutsia
AU  - Jordi Levy
AU  - Mateu Villaret
PY  - 2016
DO  - 10.1007/978-3-319-63139-4_19
UR  - https://arxiv.org/abs/1608.03771
ID  - 1608.03771
ER  -