%0 Journal Article %1 journals/mscs/AhrensNW23 %A Ahrens, Benedikt %A North, Paige Randall %A van der Weide, Niels %D 2023 %J Math. Struct. Comput. Sci. %K dblp %N 10 %P 868-912 %T Bicategorical type theory: semantics and syntax. %U http://dblp.uni-trier.de/db/journals/mscs/mscs33.html#AhrensNW23 %V 33

@article{journals/mscs/AhrensNW23, added-at = {2024-03-22T00:00:00.000+0100}, author = {Ahrens, Benedikt and North, Paige Randall and van der Weide, Niels}, biburl = {https://www.bibsonomy.org/bibtex/237e5743b5f9f57ee9ec32a9cfdb0308a/dblp}, ee = {https://doi.org/10.1017/s0960129523000312}, interhash = {665d29ba691caf7b3ac3e2f8f6ca19b3}, intrahash = {37e5743b5f9f57ee9ec32a9cfdb0308a}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 10, pages = {868-912}, timestamp = {2024-04-08T13:16:51.000+0200}, title = {Bicategorical type theory: semantics and syntax.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs33.html#AhrensNW23}, volume = 33, year = 2023 }