@article{Hin04Chu,
  title = "{Theoretical Pearl:} {C}hurch numerals, twice!",
  author = "Hinze, Ralf",
  year = "2005",
  journal = "J.~Functional Programming",
  month = "jan",
  number = "1",
  pages = "1--13",
  volume = "15",
}