TY  - RPRT
TI  - A 2-Categorical Analysis of the Tripos-to-Topos Construction
AU  - Jonas Frey
PY  - 2011
UR  - https://arxiv.org/abs/1104.2776
ID  - 1104.2776
ER  -