@techreport{Hin02Chu,
  title = "Church numerals, twice!",
  author = "Hinze, Ralf",
  year = "2002",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "feb",
  number = "IAI-TR-2002-3",
}