@InProceedings{PittsAM:nomst-popl,
  author =	 {A. M. Pitts},
  title =	 {Nominal System T},
  booktitle =	 {Proceedings of the 37th {ACM SIGACT-SIGPLAN}
                  Symposium on Principles of Programming Languages
                  (POPL 2010), Madrid, Spain},
  pages =	 {159--170},
  year =	 2010,
  month =	 jan,
  publisher =	 {ACM Press},
  doi =		 {10.1145/1706299.1706321}
}