Nominal Equational Logic

@article{Clouston2007NominalEL,
  title={Nominal Equational Logic},
  author={Ranald Alexander Clouston and Andrew M. Pitts},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2007},
  volume={172},
  pages={223-257}
}
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is an extension of ordinary equational logic with assertions about the freshness of names. It is shown to be both sound and complete for the support interpretation of freshness and equality provided by the Gabbay-Pitts nominal sets model of names, binding and α-conversion. 
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 77 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
45 Citations
29 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 45 extracted citations

77 Citations

0102030'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 29 references

The Lambda Calculus: Its Syntax and Semantics

  • H. P. Barendregt
  • North-Holland, 1984, revised edition.
  • 1984
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…