TY  - RPRT
TI  - Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
AU  - Simon Castellan
AU  - Pierre Clairambault
AU  - Peter Dybjer
PY  - 2017
DO  - 10.23638/lmcs-13(4:22)2017
UR  - https://arxiv.org/abs/1504.03995
ID  - 1504.03995
ER  -