Nominal Logic Programming. Cheney, J. & Urban, C. CoRR, 2006.
Nominal Logic Programming [link]Link  bibtex   
@article{ DBLP:journals/corr/abs-cs-0609062,
  author    = {James Cheney and Christian Urban},
  title     = {Nominal Logic Programming},
  journal   = {CoRR},
  volume   = {abs/cs/0609062},
  ee   = {http://arxiv.org/abs/cs/0609062} ,
  year   = {2006}
}
Downloads: 0