S. Abramsky, Domain theory in logical form*, Annals of Pure and Applied Logic, vol.51, issue.1-2, pp.1-77, 1991.
DOI : 10.1016/0168-0072(91)90065-T
URL : http://doi.org/10.1016/0168-0072(91)90065-t

J. C. Baez and M. Stay, Physics, Topology, Logic and Computation: A Rosetta Stone
DOI : 10.1007/978-3-642-12821-9_2

M. Barr, . Ch, and . Wells, Toposes, Triples and Theories Revised and corrected version available from URL: www.cwru, 1985.

P. Busch, M. Grabowski, and P. Lahti, Operational Quantum Physics, 1995.

A. Dvure?enskij and S. Pulmannová, New Trends in Quantum Structures, 2000.
DOI : 10.1007/978-94-017-2422-7

J. Flood, Semiconvex geometry, Journal of the Australian Mathematical Society, vol.5, issue.04, pp.496-510, 1981.
DOI : 10.1017/S1446788700017973

D. J. Foulis and M. K. Bennett, Effect algebras and unsharp quantum logics. Found, Physics, vol.24, issue.10, pp.1331-1352, 1994.
DOI : 10.1007/bf02283036

D. J. Foulis, R. J. Greechie, and M. K. Bennett, The transition to unigroups, International Journal of Theoretical Physics, vol.37, issue.1, pp.45-63, 1998.
DOI : 10.1023/A:1026657004880

T. Fritz, Convex spaces I: Definition and examples. arxiv.org/abs/0903, 2009.

S. Gudder, A general theory of convexity, Rendiconti del Seminario Matematico e Fisico di Milano, vol.29, issue.1, pp.89-96, 1979.
DOI : 10.1007/BF02925185

C. Heunen and B. Jacobs, Quantum logic in dagger kernel categories. Order, 2010.

B. Jacobs, Coalgebras and approximation, Logical Foundations of Computer Science, number 813 in Lect. Notes Comp. Sci, pp.173-183, 1994.
DOI : 10.1007/3-540-58140-5_18

B. Jacobs, Semantics of weakening and contraction, Annals of Pure and Applied Logic, vol.69, issue.1, pp.73-106, 1994.
DOI : 10.1016/0168-0072(94)90020-5

B. Jacobs, Involutive Categories and Monoids, with a GNS-Correspondence, Quantum Physics and Logic (QPL), 2010.
DOI : 10.1007/s10701-011-9595-7

B. Jacobs and J. Mandemaker, Coreflections in Algebraic Quantum Logic, Quantum Physics and Logic (QPL), 2010.
DOI : 10.1007/s10701-012-9654-8

P. T. Johnstone, Stone Spaces. Number 3 in Cambridge Studies in Advanced Mathematics, 1982.

P. T. Johnstone and S. Vickers, Preframe presentations present, Como Conference on Category Theory, number 1488 in Lect. Notes Math, pp.193-212, 1991.
DOI : 10.1017/S1446788700012209
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.6000

A. Kock, Bilinearity and Cartesian Closed Monads., MATHEMATICA SCANDINAVICA, vol.29, pp.161-174, 1971.
DOI : 10.7146/math.scand.a-11042
URL : http://www.digizeitschriften.de/download/PPN35397434X_0029/PPN35397434X_0029___log15.pdf

A. Kock, Closed categories generated by commutative monads, Journal of the Australian Mathematical Society, vol.9, issue.04, pp.405-424, 1971.
DOI : 10.1007/BF01220868

E. G. Manes, Algebraic Theories, 1974.
DOI : 10.1007/978-1-4612-9860-1

S. and M. Lane, Categories for the Working Mathematician, 1971.
DOI : 10.1007/978-1-4612-9839-7

J. Von-neumann and O. Morgenstern, Theory of Games and Economic Behavior, 1944.

S. Pulmannová and S. Gudder, Representation theorem for convex effect algebras Available from http, Commentationes Mathematicae Universitatis Carolinae, vol.39, issue.4, pp.645-659, 1998.

M. H. Stone, Postulates for the barycentric calculus, Annali di Matematica Pura ed Applicata, Series 4, vol.29, issue.1, pp.25-30, 1949.
DOI : 10.1007/BF02413910

T. Swirszcz, Monadic functors and convexity. Bull. de l'Acad, Polonaise des Sciences. Sér. des sciences math., astr. et phys, vol.22, pp.39-42, 1974.

S. Vickers, Topology Via Logic Number 5 in Tracts in Theor, Comp. Sci, 1989.