%0 Journal Article %1 journals/corr/abs-2310-14929 %A Laurent, Théo %A Lennon-Bertrand, Meven %A Maillard, Kenji %D 2023 %J CoRR %K dblp %T Definitional Functoriality for Dependent (Sub)Types. %U http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-14929 %V abs/2310.14929

@article{journals/corr/abs-2310-14929, added-at = {2023-10-30T00:00:00.000+0100}, author = {Laurent, Théo and Lennon-Bertrand, Meven and Maillard, Kenji}, biburl = {https://www.bibsonomy.org/bibtex/2c250264aa69eb1b9539f1dc611138a34/dblp}, ee = {https://doi.org/10.48550/arXiv.2310.14929}, interhash = {4f08e978bc5f17f0cbdc56a59a8feba7}, intrahash = {c250264aa69eb1b9539f1dc611138a34}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:05:39.000+0200}, title = {Definitional Functoriality for Dependent (Sub)Types.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-14929}, volume = {abs/2310.14929}, year = 2023 }