@misc{indiciae219438bad478,
  title = {Dualized Simple Type Theory},
  author = {Harley Eades III and Aaron Stump and Ryan McCleeary},
  year = {2016},
  doi = {10.2168/lmcs-12(3:2)2016},
  url = {https://arxiv.org/abs/1605.01083},
  note = {Source identifier: 1605.01083}
}