@techreport{Mun99ICASE43,
      Author = "C. Mu{\~{n}}oz",
      Title  = "Dependent Types and Explicit Substitutions",
      Institution = "ICASE-NASA Langley",
      Number = "ICASE Report No. 1999-43 NASA/CR-1999-209722",
      Address = "ICASE Mail Stop 132C, NASA Langley Research Center,
                  Hampton VA 23681-2199, USA",
      Year = "1999"
}