Nominal Terms and Nominal Logics: From Foundations to Meta-mathematics
Author:
Gabbay Murdoch J.
Publisher
Springer Netherlands
Reference74 articles.
1. Abadi, M., L. Cardelli, P.-L. Curien, and J.-J. Lévy. 1991. Explicit substitutions. Journal of Functional Programming 1(4):375–416.
2. Baader, F., and T. Nipkow. 1998. Term rewriting and all that. Great Britain: Cambridge University Press.
3. Birkhoff, G. 1935. On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society 31:433–454.
4. Burris, S.N., and H.P. Sankappanavar. 1981. A course in universal algebra. In Graduate texts in mathematics. Springer: New York.
5. Calvès, C. 2010. Complexity and implementation of nominal algorithms. Ph.D. thesis, King’s College London.