@misc{indiciae28729532865f,
  title = {How Are Programs Found? Speculating About Language Ergonomics With Curry-Howard},
  author = {Johannes Emerich},
  year = {2016},
  doi = {10.1145/2986012.2986030},
  url = {https://arxiv.org/abs/1612.00670},
  note = {Source identifier: 1612.00670}
}