@inproceedings{capretta:1999,
  author      = "Venanzio Capretta",
  title       = "Universal Algebra in Type Theory",
  booktitle   = "Theorem Proving in Higher Order Logics,
                 12th International Conference, TPHOLs '99",
  editor      = "Yves Bertot and Gilles Dowek and Andr\'e Hirschowits
                 and Christine Paulin and Laurent Th\'ery",
  pages       = "131--148",
  publisher   = "Springer",
  series      = "LNCS",
  volume      = 1690,
  year        = 1999
}