|
46
|
Nominal Unification
– Christian Urban, Andrew Pitts, Murdoch Gabbay
- 2003
|
|
10
|
Completeness and Herbrand Theorems for Nominal Logic
– James Cheney
- 2006
|
|
3
|
Toward a General Theory of Names, Binding and Scope
– James Cheney
- 2005
|
|
142
|
Nominal Logic: A First Order Theory of Names and Binding
– Andrew M. Pitts
- 2001
|
|
7
|
Mechanized metatheory model-checking
– James Cheney
- 2007
|
|
11
|
A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax
– Amy Felty, Alberto Momigliano
- 2010
|
|
6
|
Relating Nominal and Higher-Order Pattern Unification
– James Cheney
- 2005
|
|
6
|
Simple nominal type theory
– James Cheney
|
|
3
|
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
|
|
62
|
Engineering formal metatheory
– Brian Aydemir, Randy Pollack
- 2008
|
|
6
|
Alpha-structural recursion and induction (extended abstract
– Andrew M. Pitts
- 2005
|
|
38
|
Alpha-structural recursion and induction
– Andrew M. Pitts
- 2006
|
|
20
|
Nominal Logic Programming
– James Robert Cheney, James Robert Cheney, Ph. D
- 2004
|
|
|
Dependent Types for a Nominal Logical Framework
– Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro
- 2012
|
|
3
|
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
|
|
7
|
LNgen: Tool Support for Locally Nameless Representations
– Brian Aydemir, Stephanie Weirich
|
