@article{Mun99ICASEQNews,
  author = "C{\'e}sar Mu{\~{n}}oz",
  title = "Type Theory and Its Applications to Computer Science",
  journal="Quarterly News Letter of the Institute
for Computer Applications in Science and Engineering (ICASE)",
  volume=8,
  number=4,
  month="December",
  year=1999,
  note="The ICASE institute closed down in December 2002 and its 
        Quarterly News Letter is no longer available. The version
        provided here is an update of the original one."
}