On the notion of bimodel for functorial semantics Francis BorceuxEnrico M. Vitale OriginalPaper Pages: 283 - 295