Author:
Gabbay Murdoch J.,Mathijssen Aad
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Burris, S., Sankappanavar, H.: A Course in Universal Algebra. Springer, Heidelberg (1981) (available online)
2. Urban, C., Pitts, A.M., Gabbay, M.J.: Nominal unification. Theoretical Computer Science 323(1–3), 473–497 (2004)
3. Gabbay, M.J., Mathijssen, A.: Nominal algebra. In: STACS 2007 (submitted, 2006)
4. Gabbay, M.J., Bulò, S.R., Marin, A.: Substitution as an abstract notion: holy functions. In: STACS 2007 (submitted, 2006)
5. Gabbay, M.J., Mathijssen, A.: One-and-a-halfth-order logic. In: PPDP 2006: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, pp. 189–200. ACM Press, New York (2006)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献