higher-order-unification --- github.com [gratzer-2017-higherorderunificationexplanationmd]

2017
Daniel Gratzer
https://github.com/jozefg/higher-order-unification/blob/master/explanation.md

@misc{gratzer-2017-higherorderunificationexplanationmd,
	author = {Gratzer, Daniel},
	title = {higher-order-unification/explanation.md at master · jozefg/higher-order-unification --- github.com},
	howpublished = {\url{https://github.com/jozefg/higher-order-unification/blob/master/explanation.md}},
	year = {2017},
	note = {[Accessed 01-08-2025]}
}