Active Bibliography

6 Structural Recursion with Locally Scoped Names – Andrew M. Pitts
2 The Representational Adequacy of HYBRID – R. L. Crole
6 Alpha-structural recursion and induction (extended abstract – Andrew M. Pitts - 2005
44 Alpha-structural recursion and induction – Andrew M. Pitts - 2006
Full Abstraction for Nominal Scott Domains – Steffen Lösch, Andrew M. Pitts
4 Generative Unbinding of Names – Andrew M. Pitts, Mark R. Shinwell - 2008
8 Simple nominal type theory – James Cheney
26 On a monadic semantics for freshness – Mark R. Shinwell, Andrew M. Pitts - 2005
9 Staged Computation with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2005
6 A metalanguage for structural operational semantics – Matthew R. Lakin, Andrew M. Pitts - 2007
14 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010
23 Nominal logic programming – James Cheney, Christian Urban - 2006
52 Nominal Unification – Christian Urban, Andrew Pitts, Murdoch Gabbay - 2003
24 Static name control for FreshML – François Pottier - 2007
21 Focusing on binding and computation – Daniel R. Licata, Noam Zeilberger, Robert Harper - 2008
6 Dependently Typed Programming with Domain-Specific Logics – Daniel R. Licata, Robert Harper - 2008
34 Meta-Programming with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2002
1 Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming ⋆ – Matthew R. Lakin, Andrew M. Pitts
80 Nominal techniques in Isabelle/HOL – Christian Urban - 2005