Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Cheney, James
2006.
Logic Programming.
Vol. 4079,
Issue. ,
p.
361.
Tiu, Alwen
2007.
A Logic for Reasoning about Generic Judgments.
Electronic Notes in Theoretical Computer Science,
Vol. 174,
Issue. 5,
p.
3.
Clouston, Ranald A.
and
Pitts, Andrew M.
2007.
Nominal Equational Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 172,
Issue. ,
p.
223.
Cheney, James
and
Urban, Christian
2008.
Nominal logic programming.
ACM Transactions on Programming Languages and Systems,
Vol. 30,
Issue. 5,
p.
1.
Gabbay, M. J.
and
Mathijssen, A.
2009.
Nominal (Universal) Algebra: Equational Logic with Names and Binding.
Journal of Logic and Computation,
Vol. 19,
Issue. 6,
p.
1455.
Cheney, James
2009.
A Simple Nominal Type Theory.
Electronic Notes in Theoretical Computer Science,
Vol. 228,
Issue. ,
p.
37.
Dowek, Gilles
and
Gabbay, Murdoch J.
2010.
Permissive-nominal logic.
p.
165.
Huffman, Brian
and
Urban, Christian
2010.
Interactive Theorem Proving.
Vol. 6172,
Issue. ,
p.
35.
Dowek, Gilles
Gabbay, Murdoch J.
and
Mulligan, Dominic P.
2010.
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.
Logic Journal of the IGPL,
Vol. 18,
Issue. 6,
p.
769.
Cheney, James
2010.
Equivariant Unification.
Journal of Automated Reasoning,
Vol. 45,
Issue. 3,
p.
267.
GABBAY, MURDOCH J.
2011.
Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables.
Mathematical Structures in Computer Science,
Vol. 21,
Issue. 5,
p.
997.
Urban, Christian
Cheney, James
and
Berghofer, Stefan
2011.
Mechanizing the metatheory of LF.
ACM Transactions on Computational Logic,
Vol. 12,
Issue. 2,
p.
1.
Gabbay, Murdoch J.
2011.
Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax.
The Bulletin of Symbolic Logic,
Vol. 17,
Issue. 2,
p.
161.
Dowek, Gilles
and
Gabbay, Murdoch J.
2012.
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions.
Theoretical Computer Science,
Vol. 451,
Issue. ,
p.
38.
Kurz, Alexander
Petrişan, Daniela
Severi, Paula
and
de Vries, Fer-Jan
2012.
Coalgebraic Methods in Computer Science.
Vol. 7399,
Issue. ,
p.
130.
Gabbay, Murdoch J.
2014.
Handbook of Philosophical Logic.
p.
79.
Popescu, Andrei
and
Roşu, Grigore
2015.
Term-generic logic.
Theoretical Computer Science,
Vol. 577,
Issue. ,
p.
1.
Cheney, James
2016.
A simple sequent calculus for nominal logic.
Journal of Logic and Computation,
Vol. 26,
Issue. 2,
p.
699.
CHENEY, JAMES
and
MOMIGLIANO, ALBERTO
2017.
αCheck: A mechanized metatheory model checker.
Theory and Practice of Logic Programming,
Vol. 17,
Issue. 3,
p.
311.
Chen, Xiaohong
and
Roşu, Grigore
2020.
A general approach to define binders using matching logic.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. ICFP,
p.
1.