@misc{indiciaeddbad83f0c21,
  title = {Dependent Types and Explicit Substitutions},
  author = {Munoz, Ceasar},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/19990116988},
  note = {Source identifier: 19990116988}
}