Active Bibliography

1 Structural Recursion with Locally Scoped Names – Andrew M. Pitts
1 The Representational Adequacy of HYBRID – R. L. Crole
6 Alpha-structural recursion and induction (extended abstract – Andrew M. Pitts - 2005
38 Alpha-structural recursion and induction – Andrew M. Pitts - 2006
5 Generative Unbinding of Names – Andrew M. Pitts, Mark R. Shinwell - 2008
6 Simple nominal type theory – James Cheney
24 On a monadic semantics for freshness – Mark R. Shinwell, Andrew M. Pitts - 2005
5 Staged Computation with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2005
5 A metalanguage for structural operational semantics – Matthew R. Lakin, Andrew M. Pitts - 2007
11 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010
unknown title – Andrew M. Pitts, Mark, R. Shinwell - 2007
46 Nominal Unification – Christian Urban, Andrew Pitts, Murdoch Gabbay - 2003
22 Static name control for FreshML – François Pottier - 2007
20 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
1 Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming ⋆ – Matthew R. Lakin, Andrew M. Pitts
71 Nominal techniques in Isabelle/HOL – Christian Urban - 2005
2 Formalising the π-calculus using Nominal Logic – Jesper Bengtson, Joachim Parrow
Presheaf models for the π-calculus – Ian Stark - 1997