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

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

Active Bibliography

23 Nominal logic programming – James Cheney, Christian Urban - 2006
52 Nominal Unification – Christian Urban, Andrew Pitts, Murdoch Gabbay - 2003
9 Completeness and Herbrand Theorems for Nominal Logic – James Cheney - 2006
3 Toward a General Theory of Names, Binding and Scope – James Cheney - 2005
161 Nominal Logic: A First Order Theory of Names and Binding – Andrew M. Pitts - 2001
10 Mechanized metatheory model-checking – James Cheney - 2007
14 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010
7 Relating Nominal and Higher-Order Pattern Unification – James Cheney - 2005
8 Simple nominal type theory – James Cheney
4 Nominal renaming sets – Murdoch J. Gabbay, Martin Hofmann
HIGHER-ORDER ABSTRACT SYNTAX IN TYPE THEORY – Venanzio Capretta, Amy, P. Felty
2 Higher Order Abstract Syntax in Type Theory – Venanzio Capretta, Amy P. Felty
86 Engineering formal metatheory – Brian Aydemir, Randy Pollack - 2008
6 Alpha-structural recursion and induction (extended abstract – Andrew M. Pitts - 2005
44 Alpha-structural recursion and induction – Andrew M. Pitts - 2006
Dependent Types for a Nominal Logical Framework – Elliot Fairweather, Maribel Fern├índez, Nora Szasz, Alvaro Tasistro - 2012
2 Relating nominal and higher-order abstract syntax specifications – Andrew Gacek
4 Avoiding Equivariance in Alpha-Prolog – Christian Urban, James Cheney - 2004
12 A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings – Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey - 2005