M. A. Abdallah, The logic of partial information. EATCS research monographs in Theoretical Computer Science, 1995.
URL : https://hal.archives-ouvertes.fr/halshs-00122727

M. A. Abdallah, On an application of Curry-Howard isomorphism to quantum mechanics. in P. d'Aquino, Logic Colloquium, pp.383-384, 2012.

D. Bohm, Quantum theory, 1989.

N. Bohr, Can Quantum-Mechanical Description of Physical Reality be Considered Complete?, Physical Review, vol.48, issue.8, pp.696-702, 1935.
DOI : 10.1103/PhysRev.48.696

N. Bohr, Atomic theory and the description of nature, page 10, 1961.

H. B. Curry and R. Feys, Combinatory logic, 1974.

H. Everett, "Relative State" Formulation of Quantum Mechanics, Reviews of Modern Physics, vol.29, issue.3, pp.454-462, 1957.
DOI : 10.1103/RevModPhys.29.454

R. Feynman, Space-Time Approach to Non-Relativistic Quantum Mechanics, Reviews of Modern Physics, vol.20, issue.2, pp.367-387, 1948.
DOI : 10.1103/RevModPhys.20.367

R. Feynman, The Character of Physical Law, 1965.

P. Grangier, G. Roger, and A. Aspect, Experimental Evidence for a Photon Anticorrelation Effect on a Beam Splitter: A New Light on Single-Photon Interferences, Europhysics Letters (EPL), vol.1, issue.4, p.173, 1986.
DOI : 10.1209/0295-5075/1/4/004

W. A. Howard, The formulae-as-types notion of construction, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp.479-490, 1980.

I. Lakatos, Falsification and the methodology of scientific research programmes

M. O. Scully, B. Englert, and H. Walther, Quantum optical tests of complementarity, Nature, vol.351, issue.6322, pp.111-116, 1991.
DOI : 10.1038/351111a0

M. H. Sørensen and P. Urzyczyn, Lectures on the Curry-Howard isomorphism, 2006.

J. A. Wheeler, Law without law, Quantum Theory and Measurement, pp.182-213, 1984.

J. A. Wheeler, Information, physics, quantum: The search for links, Complexity, Entropy, and the Physics of Information, pp.309-336