TY  - RPRT
TI  - A Generalization of the Curry-Howard Correspondence
AU  - Lucius Schoenbaum
PY  - 2016
UR  - https://arxiv.org/abs/1612.02816
ID  - 1612.02816
ER  -