(1994) Applied Categorical Structures : a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science — Vol. 2, p. 283-295 (1994)
Borceux, F., & Vitale, E. (1994). On the notion of bimodel for functional semantics. Applied Categorical Structures : a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science, 2, 283-295. https://hdl.handle.net/2078.5/151984 (Original work published 1994)