Francis Borceux, Enrico M. Vitale. On the notion of bimodel for functorial semantics. Applied Categorical Structures, 2(3):283-295, 1994. [doi]
@article{BorceuxV94, title = {On the notion of bimodel for functorial semantics}, author = {Francis Borceux and Enrico M. Vitale}, year = {1994}, doi = {10.1007/BF00878101}, url = {http://dx.doi.org/10.1007/BF00878101}, researchr = {https://researchr.org/publication/BorceuxV94}, cites = {0}, citedby = {0}, journal = {Applied Categorical Structures}, volume = {2}, number = {3}, pages = {283-295}, }