TY  - RPRT
TI  - How Are Programs Found? Speculating About Language Ergonomics With Curry-Howard
AU  - Johannes Emerich
PY  - 2016
DO  - 10.1145/2986012.2986030
UR  - https://arxiv.org/abs/1612.00670
ID  - 1612.00670
ER  -