D. Deutsch, Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer, Proc. R. Soc. A, pp.97-117, 1985.
DOI : 10.1098/rspa.1985.0070

Z. Toffano, Eigenlogic in the spirit of George Boole, 2015.

F. Dubois and Z. Toffano, Eigenlogic: A Quantum View for Multiple-Valued and Fuzzy Systems, In Lecture Notes in Computer Science, vol.6, issue.3, pp.239-251, 2017.
DOI : 10.3389/fpsyg.2015.01447
URL : https://hal.archives-ouvertes.fr/hal-01464903

P. Cartier, A mad day's work: from Grothendieck to Connes and Kontsevich The evolution of concepts of space and symmetry, Bulletin of the American Mathematical Society, vol.38, issue.04, pp.389-408, 2001.
DOI : 10.1090/S0273-0979-01-00913-2

G. Birkhoff and J. Neumann, The Logic of Quantum Mechanics, The Annals of Mathematics, vol.37, issue.4, pp.823-843, 1936.
DOI : 10.2307/1968621

J. Bub, Quantum computation from a quantum logical perspective, Quantum Inf. Comput, vol.7, pp.281-296, 2007.

M. Ying, A theory of computation based on quantum logic (I), Theoretical Computer Science, vol.344, issue.2-3, pp.134-207, 2005.
DOI : 10.1016/j.tcs.2005.04.001

G. Boole, The Mathematical Analysis of Logic: Being an Essay to a Calculus of Deductive Reasoning, 1847.
DOI : 10.1017/CBO9780511701337

O. Donnell and R. , Analysis of Boolean Functions, 2014.

E. Post, Introduction to a General Theory of Elementary Propositions, American Journal of Mathematics, vol.43, issue.3, pp.163-185, 1921.
DOI : 10.2307/2370324

S. N. Yanushkevich and V. P. Shmerko, Introduction to Logic Design, 2008.

N. Kikuchi, Finite Element Methods in Mechanics, 1986.
DOI : 10.1017/CBO9780511569630

D. Mermin, Quantum Computer Science: An Introduction, 2007.
DOI : 10.1017/CBO9780511813870

D. E. Muller, Application of Boolean algebra to switching circuit design and to error detection, Transactions of the I.R.E. Professional Group on Electronic Computers, vol.3, issue.3, pp.6-12, 1954.
DOI : 10.1109/IREPGELC.1954.6499441

M. Amy and M. Mosca, T-count optimization and Reed-Muller codes

P. Selinger, Quantum circuits of T-depth one, Phys. Rev. A, vol.87, pp.252-259, 2013.

D. M. Miller and M. A. Thornton, Multiple Valued Logic: Concepts and Representations, Synthesis Lectures on Digital Circuits and Systems, vol.21, issue.2, 2008.
DOI : 10.1073/pnas.21.5.252

D. W. Jones, Fast Ternary Addition Available online, 2013.