Publisher
Springer International Publishing
Reference28 articles.
1. Calvès, C., Fernández, M.: A polynomial nominal unification algorithm. Theoret. Comput. Sci. 403(2–3), 285–306 (2008)
2. Cheney, J.: Nominal Logic Programming. Ph.D. thesis, Cornell University, Ithaca, NY, August 2004
3. Cheney, J., Momigliano, A.: $$\alpha $$-check: a mechanized metatheory model checker. Theory Pract. Logic Program. 17(3), 311–352 (2017)
4. A. Gascón, G. Godoy, and M. Schmidt-Schauß. Unification and matching on compressed terms. ACM Trans. Comput. Log. 12(4):26:1–26:37, 2011
5. Hansen, M.R., Rischel, H.: Functional Programming Using F#. Cambridge (2013)