The logic of partial information. EATCS research monographs in Theoretical Computer Science, 1995. ,
URL : https://hal.archives-ouvertes.fr/halshs-00122727
On an application of Curry-Howard isomorphism to quantum mechanics. in P. d'Aquino, Logic Colloquium, pp.383-384, 2012. ,
Quantum theory, 1989. ,
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
Atomic theory and the description of nature, page 10, 1961. ,
Combinatory logic, 1974. ,
"Relative State" Formulation of Quantum Mechanics, Reviews of Modern Physics, vol.29, issue.3, pp.454-462, 1957. ,
DOI : 10.1103/RevModPhys.29.454
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
The Character of Physical Law, 1965. ,
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
The formulae-as-types notion of construction, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp.479-490, 1980. ,
Falsification and the methodology of scientific research programmes ,
Quantum optical tests of complementarity, Nature, vol.351, issue.6322, pp.111-116, 1991. ,
DOI : 10.1038/351111a0
Lectures on the Curry-Howard isomorphism, 2006. ,
Law without law, Quantum Theory and Measurement, pp.182-213, 1984. ,
Information, physics, quantum: The search for links, Complexity, Entropy, and the Physics of Information, pp.309-336 ,