here you goThings I’ve made, read and saved — shared here.

Nominal Logic Programming

ArticleCheney and Urban 2006Cite as [@cheneyNominalLogicProgramming2006]

Cheney, James, and Christian Urban. 2006. “Nominal Logic Programming.” CoRR abs/cs/0609062.

BibTeX
@article{cheneyNominalLogicProgramming2006,
  title = {Nominal {{Logic Programming}}},
  author = {Cheney, James and Urban, Christian},
  year = 2006,
  journal = {CoRR},
  volume = {abs/cs/0609062}
}

Download