@misc{indiciae38c9df5b9e94,
  title = {Simple Type Theory with Undefinedness, Quotation, and Evaluation},
  author = {William M. Farmer},
  year = {2016},
  url = {https://arxiv.org/abs/1406.6706},
  note = {Source identifier: 1406.6706}
}