@inproceedings{bove/capretta:2005a,
  author      = "Ana Bove and Venanzio Capretta",
  title       = "Recursive Functions with Higher Order Domains",
  booktitle   = "Typed Lambda Calculi and Applications. 7th International Conference, {TLCA} 2005, Nara, Japan, April 2005",
  editor      = "Pawe{\l} Urzyczyn",
  series      = "LNCS",
  volume      = 3461,
  publisher   = "Springer",
  year        = 2005
  pages       = "116--130"
}