M. J. Gabbay and A.M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
A Sequent Calculus for Nominal Logic - Gabbay, Cheney (2004) Self-citation (Gabbay) (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2001.
Nominal Unification - Urban, Pitts, Gabbay (2004) (5 citations) Self-citation (Gabbay Pitts) (Correct)
No context found.
M. J. Gabbay, A. M. Pitts, A new approach to abstract syntax with variable binding, Formal Aspects of Computing 13 (2002) 341--363.
A Sequent Calculus for Nominal Logic - Gabbay, Cheney (2004) Self-citation (Gabbay) (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2001.
On a Monadic Semantics for Freshness - Mark Shinwell Andrew Self-citation (Pitts) (Correct)
No context found.
M. J. Gabbay, A. M. Pitts, A new approach to abstract syntax with variable binding, Formal Aspects of Computing 13 (2002) 341--363.
Nominal Unification - Christian Urban Andrew (2003) (5 citations) Self-citation (Gabbay Pitts) (Correct)
No context found.
M. J. Gabbay, A. M. Pitts, A new approach to abstract syntax with variable binding, Formal Aspects of Computing 13 (2002) 341--363.
Secrecy and Group Creation - Luca Cardelli Giorgio (2000) (43 citations) (Correct)
No context found.
M. J. Gabbay and A.M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
Staged Computation with Names and Necessity - Nanevski, Pfenning (2005) (Correct)
No context found.
Gabbay, Murdoch J., & Pitts, Andrew M. (2002). A new approach to abstract syntax with variable binding. Formal aspects of computing, 13, 341--363.
Toward a General Theory of Names, Binding and Scope - James Cheney University (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
Completeness and Herbrand Theorems for Nominal Logic - Cheney (2006) (Correct)
No context found.
M. J. Gabbay and A. M. Pitts, A new approach to abstract syntax with variable binding, Formal Aspects of Computing, vol. 13 (2002), pp. 341--363.
The Complexity of Equivariant Unification - Cheney (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
αProlog: A Logic Programming Language with Names.. - Cheney, Urban (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
Relating Nominal and Higher-Order Pattern Unification - Cheney (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
A Simpler Proof Theory for Nominal Logic - Cheney (2005) (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
Equivariant Unification - Cheney (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
Scrap your Nameplate - Functional Pearl - Cheney (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
A Simpler Proof Theory for Nominal Logic - Cheney (2005) (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
Nominal Games and Full Abstraction for the Nu-Calculus - Abramsky, Ghica.. (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (2 citations) (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2001.
A Proof Search Specification of the π-Calculus - Tiu, Miller (2004) (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2001. 18
A Dependent Type Theory with Names and Binding - Schöpp, Stark (2004) (4 citations) (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
Alpha-Prolog: A Logic Programming Language with Names.. - Cheney, Urban (2004) (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
The Complexity of Equivariant Unification - Cheney (Correct)
No context found.
M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341--363, 2002.
Numbering Matters: First-Order Canonical Forms for.. - Gauthier, Pottier (2004) (Correct)
No context found.
Murdoch J. Gabbay and Andrew M. Pitts. A New Approach to Abstract Syntax with Variable Binding. Formal Aspects of Computing, 13(3--5):341--363, July 2002.
Behavioral and Spatial Observations in a Logic for the.. - Caires (2004) (4 citations) (Correct)
No context found.
M. Gabbay and A. Pitts. A New Approach to Abstract Syntax with Variable Binding. Formal Aspects of Computing, 13(3--5):341--363, 2002.
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC