Nominal Logic Programming

ArticleCheney and Urban 2008Cite as [@cheney2008nominal]

Cheney, James, and Christian Urban. 2008. “Nominal Logic Programming.” ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (5): 1–47.

BibTeX

@article{cheney2008nominal,
  title = {Nominal Logic Programming},
  author = {Cheney, James and Urban, Christian},
  year = 2008,
  journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume = {30},
  number = {5},
  pages = {1--47},
  publisher = {ACM New York, NY, USA}
}

Download