@inproceedings{Gu2024,
 author = {Tao Gu and Jialu Bao and Justin Hsu and Alexandra Silva and Fabio Zanasi},
 booktitle = {International Conference on Formal Structures for Computation and Deduction (FSCD)},
 doi = {10.4230/LIPICS.FSCD.2024.17},
 title = {A Categorical Approach to {DIBI} Models},
 year = {2024}
}

{"_id":"T9amjjHwZNzWn23eH","bibbaseid":"gu-bao-hsu-silva-zanasi-acategoricalapproachtodibimodels-2024","author_short":["Gu, T.","Bao, J.","Hsu, J.","Silva, A.","Zanasi, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Tao"],"propositions":[],"lastnames":["Gu"],"suffixes":[]},{"firstnames":["Jialu"],"propositions":[],"lastnames":["Bao"],"suffixes":[]},{"firstnames":["Justin"],"propositions":[],"lastnames":["Hsu"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Zanasi"],"suffixes":[]}],"booktitle":"International Conference on Formal Structures for Computation and Deduction (FSCD)","doi":"10.4230/LIPICS.FSCD.2024.17","title":"A Categorical Approach to DIBI Models","year":"2024","bibtex":"@inproceedings{Gu2024,\n author = {Tao Gu and Jialu Bao and Justin Hsu and Alexandra Silva and Fabio Zanasi},\n booktitle = {International Conference on Formal Structures for Computation and Deduction (FSCD)},\n doi = {10.4230/LIPICS.FSCD.2024.17},\n title = {A Categorical Approach to {DIBI} Models},\n year = {2024}\n}\n\n","author_short":["Gu, T.","Bao, J.","Hsu, J.","Silva, A.","Zanasi, F."],"key":"Gu2024","id":"Gu2024","bibbaseid":"gu-bao-hsu-silva-zanasi-acategoricalapproachtodibimodels-2024","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["categorical","approach","dibi","models","gu","bao","hsu","silva","zanasi"],"title":"A Categorical Approach to DIBI Models","year":2024}