Nominal Unification (2003)

by Christian Urban , Andrew Pitts , Murdoch Gabbay
Venue:Theoretical Computer Science
Citations:52 - 20 self

Active Bibliography

Abstract Syntax with Variable Binding – Murdoch J. Gabbay, Andrew M. Pitts - 1999
161 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
6 Alpha-structural recursion and induction (extended abstract – Andrew M. Pitts - 2005
44 Alpha-structural recursion and induction – Andrew M. Pitts - 2006
13 Logical reasoning for higher-order functions with local state – Nobuko Yoshida, Kohei Honda, Martin Berger
5 Curry-style types for nominal rewriting – Maribel Fernández, Murdoch J. Gabbay - 2006
1 Higher-Order Encodings with Constructors – Edwin M. Westbrook - 2008
6 Structural Recursion with Locally Scoped Names – Andrew M. Pitts
17 Scrap your Nameplate - Functional Pearl – James Cheney
6 A metalanguage for structural operational semantics – Matthew R. Lakin, Andrew M. Pitts - 2007
6 A logic programming language based on binding algebras – Makoto Hamana - 2001
2 The Representational Adequacy of HYBRID – R. L. Crole
6 Nominal System T – Andrew M. Pitts - 2010
5 Nominal unification from a higher-order perspective – Jordi Levy, Mateu Villaret
19 Modal Types for Mobile Code – Tom Murphy, VII - 2008
Alpha Equivalence Equalities – R. L. Crole - 2012
4 Fresh O’Caml: Nominal abstract syntax for the masses – Mark R. Shinwell - 2005
Appendix A. Typing Rules 49 – N. Yoshida, K. Honda, M. Berger
22 Meta-programming through typeful code representation – Chiyan Chen, Hongwei Xi - 2003