Alpha-Prolog: A Logic Programming Language with Names, Binding, and Alpha-Equivalence (2004)

by James Cheney , Christian Urban
Citations:37 - 9 self

Documents Related by Co-Citation

208 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
165 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
53 Nominal Unification – Christian Urban, Andrew Pitts, Murdoch Gabbay - 2003
23 Nominal logic programming – James Cheney, Christian Urban - 2006
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
303 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
23 The Complexity of Equivariant Unification – James Cheney
1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
710 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002