%0 Journal Article %1 journals/lmcs/CastellanCD17 %A Castellan, Simon %A Clairambault, Pierre %A Dybjer, Peter %D 2017 %J Logical Methods in Computer Science %K %N 4 %T Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version). %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#CastellanCD17 %V 13

@article{journals/lmcs/CastellanCD17, added-at = {2023-12-12T22:44:15.000+0100}, author = {Castellan, Simon and Clairambault, Pierre and Dybjer, Peter}, biburl = {https://www.bibsonomy.org/bibtex/29b18f7b0549bd1b2636e31cbe9b3b53f/admin}, ee = {https://doi.org/10.23638/LMCS-13(4:22)2017}, interhash = {4d9432b2fad9cc3d092ad59da053145a}, intrahash = {9b18f7b0549bd1b2636e31cbe9b3b53f}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 4, timestamp = {2023-12-12T22:44:15.000+0100}, title = {Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version).}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#CastellanCD17}, volume = 13, year = 2017 }