A Categorical Approach to DIBI Models. Gu, T., Bao, J., Hsu, J., Silva, A., & Zanasi, F. In International Conference on Formal Structures for Computation and Deduction (FSCD), 2024.
doi  bibtex   
@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}
}

Downloads: 0