Desharnais, J., Hodgson, B., & Mullins, J. (1997). Relation algebras are models of noncommutative propositional linear logic. Dans Brink, C., & Schmidt, G. (édit.), Relational methods in computer science (p. 106-115). Lien externe
