@inproceedings{bcd:2002,
  author      = "Yves Bertot and Venanzio Capretta and Kuntal Das Barman",
  title       = "Type-theoretic functional sematics",
  pages       = "83--97"
  editor      = "V. A. Carreno and C. A. Munoz and S. Tahar", 
  booktitle   = "Theorem Proving in Higher Order Logics",
  note        = "15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002",
  publisher   = "Springer",
  series      = "LNCS",
  volume      = 2410,
  year        = 2002
}