Author:
Clouston Ranald A.,Pitts Andrew M.
Subject
General Computer Science,Theoretical Computer Science
Reference34 articles.
1. Abramsky, S., D.R. Ghica, A.S. Murowski, C.-H.L. Ong and I.D.B. Stark, Nominal games and full abstraction for the nu-calculus, in: 19th Annual Symposium on Logic in Computer Science (2004), pp. 150–159
2. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
3. Berger, U. and H. Schwichtenberg, An inverse of the evaluation functional for typed λ-calculus, in: 6th Annual Symposium on Logic in Computer Science (1991), pp. 203–211
4. Cheney, J., “Nominal Logic Programming,” Ph.D. thesis, Cornell University (2004)
5. Completeness and Herbrand theorems for nominal logic;Cheney;Journal of Symbolic Logic,2006
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Nominal syntax with atom substitutions;Journal of Computer and System Sciences;2021-08
2. The nominal/FM Yoneda Lemma;Mathematical Structures in Computer Science;2020-10
3. RULE FORMATS FOR NOMINAL PROCESS CALCULI;LOG METH COMPUT SCI;2019
4. Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting;Fundamentals of Computation Theory;2019
5. Typed Nominal Rewriting;ACM Transactions on Computational Logic;2018-02-15