@inproceedings{capretta/felty:2009,
  author      = {Venanzio Capretta and Amy Felty},
  title       = {Higher-order abstract syntax in type theory},
  booktitle   = {Logic Colloquium 2006},
  editor      = {S. Barry Cooper and Herman Geuvers and Anand Pillay and Jouko V\"{a}\"{a}n\"{a}nen},
  series      = {Lecture Notes in Logic},
  volume      = {32},
  publisher   = {Cambridge University Press},
  pages       = {65--90},
  year        = 2009
}