Author:
Cheney James,Norrish Michael,Vestergaard René
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference24 articles.
1. Abel, A.: A third-order representation of the λμ-calculus. In: Ambler, S., Crole, R., Momigliano, A. (eds.) Electronic Notes in Theoretical Computer Science, vol. 58. Elsevier Science Publishers (2001)
2. Cheney, J.: A simple nominal type theory. In: Logical Frameworks and Meta-Languages: Theory and Practice, pp. 90–104 (2008)
3. Cheney, J., Urban, C.: Nominal logic programming. ACM Trans. Program. Lang. Syst. 30(5), 26 (2008)
4. Coquand, T.: An algorithm for testing conversion in type theory. In: Logical Frameworks, pp. 255–279. Cambridge University Press, New York (1991)
5. Crary, K.: Logical relations and a case study in equivalence checking. In: Pierce, B.C. (ed.) Advanced Topics in Types and Programming Languages, pp. 223–244. MIT Press (2005)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A general approach to define binders using matching logic;Proceedings of the ACM on Programming Languages;2020-08-02
2. A dependent nominal type theory;Logical Methods in Computer Science;2012-02-20