1. Lecture Notes in Computer Science;S. Anantharaman,1991
2. Arthan, R., Oliva, P.: Hoops, coops and the algebraic semantics of continuous logic (2012),
http://arXiv.org/abs/1212.2887v1
3. Ben Yaacov, I., Pedersen, A.P.: A proof of completeness for continuous first-order logic (2009),
http://arxiv.org/0903.4051
4. Bierman, G.M.: On intuitionistic linear logic. PhD thesis, University of Cambridge Computer Laboratory (December 1993)
5. Blok, W.J., Ferreirim, I.M.A.: On the structure of hoops. Algebra Universalis 43(2-3), 233–257 (2000)