Topology Atlas | Conferences

Knots in Washington XXXV
December 7-9, 2012
George Washington University
Washington, DC, USA

Organizers
Mieczyslaw K. Dabkowski (UT Dallas), Valentina Harizanov (GWU), Jozef H. Przytycki (GWU), Yongwu Rong (GWU), Radmila Sazdanovic (U.Penn), Alexander Shumakovitch (GWU), Hao Wu (GWU)

Conference Homepage


Single photon self-interference as additive Curry-Howard correspondence
by
A Nait Abdallah
INRIA Paris Rocquencourt and UWO

This talk presents a logical analysis of single photon self-interference, using constructive logic and the logic of partial information, as well as a generalization of Curry-Howard isomorphism. The standard Curry-Howard correspondence, proofs-as-terms generalizes to an additive version, namely a "sets of proofs"-as-"formal sums of lambda-terms" correspondence. A "Feynman path-integral" paradigm can then be applied in this setting, provided lambda-terms are generalized to phase lambda-terms.

We discuss the application of this approach to a photon traversing a Mach-Zehnder interferometer, and some other interference problems.

Date received: November 25, 2012

Copyright © 2012 by the author(s). The author(s) of this work and the organizers of the conference have granted their consent to include this abstract in Topology Atlas. Document # cbfw-37.