Tang, J., Aishan, Y., Liu, J., Peng, J. (2025). Research on group type theory and its functorial semantic models in category logic. PLoS ONE. https://doi.org/10.1371/journal.pone.0326301