%0 Journal Article %1 journals/mscs/BezemCDE21 %A Bezem, Marc %A Coquand, Thierry %A Dybjer, Peter %A Escardó, Martín %D 2021 %J Math. Struct. Comput. Sci. %K dblp %N 9 %P 1006-1023 %T On generalized algebraic theories and categories with families. %U http://dblp.uni-trier.de/db/journals/mscs/mscs31.html#BezemCDE21 %V 31

@article{journals/mscs/BezemCDE21, added-at = {2022-08-25T00:00:00.000+0200}, author = {Bezem, Marc and Coquand, Thierry and Dybjer, Peter and Escardó, Martín}, biburl = {https://www.bibsonomy.org/bibtex/2538d0816e19a32a13424a377f895f327/dblp}, ee = {https://doi.org/10.1017/S0960129521000268}, interhash = {354f77d2e7bb234de220484bf33a7aca}, intrahash = {538d0816e19a32a13424a377f895f327}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 9, pages = {1006-1023}, timestamp = {2024-04-08T13:17:08.000+0200}, title = {On generalized algebraic theories and categories with families.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs31.html#BezemCDE21}, volume = 31, year = 2021 }