Nominal Logic: A First Order Theory of Names and Binding

By Andrew M. Pitts. Theoretical Aspects of Computer Software, 2001

385 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/538fc7f6b0381da02931e8487fd75ca72c06cb90

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Andrew M. Pitts
2. Christian Urban
3. Luís Caires
4. J. Cheney
5. Luca Cardelli
6. Murdoch James Gabbay
7. Ian David Bede Stark

In Computational Theory and Mathematics

1. Christian Urban
2. J. Cheney
3. Luís Caires
4. Luca Cardelli
5. Murdoch James Gabbay
6. Andrew M. Pitts
7. Ian David Bede Stark

Citations in the corpus

• Nominal Sets: Names and Symmetry in Computer Science (2013, methodology): “Such restricted uses of choice are consistent with the model of higher-order logic that Nom provides (see Pitts, 2003, section 8).”
• A spatial logic for concurrency (part I) (2003, background): “, meaning that A holds everywhere in space.”
• A sequent calculus for nominal logic (2004, methodology): “Related work includes Nominal Logic [10] and FM- HOL [7], Hilbert-style axiom systems both concentrating on expressiveness, and a natural-deduction presentation of Fresh Logic FL ND , concentrating on semantics.”
• Nominal Techniques in Isabelle/HOL (2005, background): “For this we will adapt work by Pitts [ 27 ] who introduced such preconditions .”