@misc{indiciae0e9194167d14,
  title = {Two algorithms in search of a type system},
  author = {Norman Danner and James S. Royer},
  year = {2008},
  url = {https://arxiv.org/abs/0710.0824},
  note = {Source identifier: 0710.0824}
}