@inproceedings{capretta:2000b,
  title       = "Recursive Families of Inductive Types",
  author      = "Venanzio Capretta",
  pages       = "73--89"
  editor      = "J. Harrison and M. Aagaard",
  booktitle   = "Theorem Proving in Higher Order Logics:
                 13th International Conference, TPHOLs 2000",
  series      = "Lecture Notes in Computer Science",
  volume      = 1869,
  year        = 2000,
  publisher   = "Springer-Verlag"
}