Alpha-structural recursion and induction (2006)

Cached

Download Links

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

Documents Related by Co-Citation

165 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
208 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
81 Nominal techniques in Isabelle/HOL – Christian Urban - 2005
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
53 Nominal Unification – Christian Urban, Andrew Pitts, Murdoch Gabbay - 2003
18 A recursion combinator for nominal datatypes implemented in Isabelle/HOL – Christian Urban, Stefan Berghofer - 2006
851 A formulation of the simple theory of types – Alonzo Church - 1940
78 FreshML: Programming with Binders Made Simple – Mark R. Shinwell, Andrew M. Pitts, Murdoch J. Gabbay - 2003