Alpha-structural recursion and induction (2006)

Cached

Download Links

by Andrew M. Pitts
Venue:Journal of the ACM
Citations:44 - 6 self

Active Bibliography

6 Alpha-structural recursion and induction (extended abstract – Andrew M. Pitts - 2005
6 Nominal System T – Andrew M. Pitts - 2010
6 A metalanguage for structural operational semantics – Matthew R. Lakin, Andrew M. Pitts - 2007
161 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
2 The Representational Adequacy of HYBRID – R. L. Crole
52 Nominal Unification – Christian Urban, Andrew Pitts, Murdoch Gabbay - 2003
17 Scrap your Nameplate - Functional Pearl – James Cheney
146 A New Approach to Abstract Syntax Involving Binders – Murdoch Gabbay, Andrew Pitts - 1999
Abstract Syntax with Variable Binding – Murdoch J. Gabbay, Andrew M. Pitts - 1999
The Australian National University – Alwen Tiu, Dale Miller
6 Structural Recursion with Locally Scoped Names – Andrew M. Pitts
3 Formalising the π-calculus using Nominal Logic – Jesper Bengtson, Joachim Parrow
9 Completeness and Herbrand Theorems for Nominal Logic – James Cheney - 2006
23 Nominal logic programming – James Cheney, Christian Urban - 2006
4 Nominal renaming sets – Murdoch J. Gabbay, Martin Hofmann
4 Generative Unbinding of Names – Andrew M. Pitts, Mark R. Shinwell - 2008
8 Simple nominal type theory – James Cheney
1 Strong normalization for System F by HOAS on top of FOAS – Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn
80 Nominal techniques in Isabelle/HOL – Christian Urban - 2005