Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Caires, L., Cardelli, L.: A spatial logic for concurrency–II. Theoretical Computer Science 322(3), 517–565 (2004)
2. Lecture Notes in Computer Science;J. Cheney,2004
3. Cheney, J.: A simpler proof theory for nominal logic. Technical Report EDI-INF-RR-0237, LFCS, University of Edinburgh (November 2004)
4. Cheney, J.: A sound and complete translation of generic judgments into nominal logic. Technical report, LFCS, University of Edinburgh (in preparation) (2005)
5. Cheney, J.R.: Nominal Logic Programming. PhD thesis, Cornell University, Ithaca, NY (August. 2004)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A two-level logic perspective on (simultaneous) substitutions;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs;2018-01-08
2. A two-level logic perspective on (simultaneous) substitutions;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018
3. Permissive-nominal logic;ACM Transactions on Computational Logic;2012-08
4. Nominal abstraction;Information and Computation;2011-01
5. Stone Duality for Nominal Boolean Algebras with И;Algebra and Coalgebra in Computer Science;2011