@inproceedings{bove/capretta:2001,
  author     = "Ana Bove and Venanzio Capretta",
  title      = "Nested General Recursion and Partiality in Type Theory",
  editor     = "Richard J. Boulton and Paul B. Jackson",
  booktitle  = "Theorem Proving in Higher Order Logics:
                14th International Conference, TPHOLs 2001",
  series     = "Lecture Notes in Computer Science",
  volume     = 2152,
  year       = 2001,
  publisher  = "Springer-Verlag",
  pages      = "121--135"
}