@misc{indiciaed9224b7c73e5,
  title = {Confluent terminating extensional lambda-calculi with surjective pairing and terminal type},
  author = {Yohji Akama},
  year = {2018},
  url = {https://arxiv.org/abs/1805.02004},
  note = {Source identifier: 1805.02004}
}