TY  - RPRT
TI  - Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism
AU  - Marco Benini
PY  - 2013
UR  - https://arxiv.org/abs/1307.0108
ID  - 1307.0108
ER  -