Nominal Unification of Higher order Expressions with Recursive Let

Manfred Schmidt-Schauss, Teimuraz Kutsia, Jordi Levy, Mateu Villaret

Research output: Working paper and reports › Preprint

Name	RISC Report Series
No.	16-03

Fields of science

@techreport{ee5a7df8a8d54576aa015cf7542d554d,

title = "Nominal Unification of Higher order Expressions with Recursive Let",

author = "Manfred Schmidt-Schauss and Teimuraz Kutsia and Jordi Levy and Mateu Villaret",

year = "2016",

language = "English",

series = "RISC Report Series",

publisher = "RISC, JKU",

number = "16-03",

type = "WorkingPaper",

institution = "RISC, JKU",

}