@misc{indiciaef4cab7aebf81,
  title = {Andrews' Type Theory with Undefinedness},
  author = {William M. Farmer},
  year = {2014},
  url = {https://arxiv.org/abs/1406.7492},
  note = {Source identifier: 1406.7492}
}